Fast simplifications for Tarski formulas based on monomial inequalities

DOI10.1016/j.jsc.2011.12.012zbMath1262.68189MaRDI QIDQ420752

Christopher W. Brown

Publication date: 23 May 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.012

zbMATH Keywords

complexity; quantifier elimination; formula simplification; Tarski formulas

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

05A20: Combinatorial inequalities

03D78: Computation over the reals, computable analysis

Uses Software

• SYNRAC