Pages that link to "Item:Q420752"

The following pages link to Fast simplifications for Tarski formulas based on monomial inequalities (Q420752):

Displaying 1 item.

• Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)