Fast simplifications for Tarski formulas
From MaRDI portal
Publication:2883801
DOI10.1145/1576702.1576714zbMath1237.68098OpenAlexW2086775493MaRDI QIDQ2883801
Publication date: 13 May 2012
Published in: Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1576702.1576714
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)
Related Items (2)
Fast simplifications for Tarski formulas based on monomial inequalities ⋮ From simplification to a partial theory solver for non-linear real polynomial constraints
This page was built for publication: Fast simplifications for Tarski formulas
