Edinburgh Research Explorer

Dr. Paul Jackson

Senior Lecturer

Research outputs

  1. Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2. Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. Combined Decision Techniques for the Existential Theory of the Reals

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (4) »

ID: 24839