Pages that link to "Item:Q1355986"

The following pages link to Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993 (Q1355986):

Displaying 1 item.

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