Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

DOI10.1007/978-3-642-30870-3_56zbMath1357.68199OpenAlexW2234497587MaRDI QIDQ2904452

Paul B. Jackson, Grant Olney Passmore

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_56

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

The Strategy Challenge in SMT Solving

Uses Software

• QEPCAD

This page was built for publication: Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase