Fast simplifications for Tarski formulas - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Christopher W. Brown. Fast simplifications for Tarski formulas. In Jeremy Johnson, Hyungju Park, Erich Kaltofen, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. pages 63-70, ACM, 2009. [doi]

The following publications are possibly variants of this publication:

Fast simplifications for Tarski formulas based on monomial inequalitiesChristopher W. Brown. JSC, 47(7):859-882, 2012. [doi]

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic setsZoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda. synasc 2022: 59-62 [doi]

runs on WebDSL