Results 161 to 170 of about 401 (180)
Some of the next articles are maybe not open access.
Fast simplifications for Tarski formulas based on monomial inequalities
Journal of Symbolic Computation, 2012exaly
Fast simplifications for Tarski formulas based on monomial inequalities
Journal of Symbolic Computation, 2012