Inproceedings,

Simplification of Cylindrical Algebraic Formulas.

, and .
CASC, volume 9301 of Lecture Notes in Computer Science, page 119-134. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews