Improved projection for CAD's of R 3

DOI10.1145/345542.345575zbMath1326.68345OpenAlexW2056588120MaRDI QIDQ3454743

Christopher W. Brown

Publication date: 26 November 2015

Published in: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/345542.345575

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

This page was built for publication: Improved projection for CAD's of R ³