Pages that link to "Item:Q5168474"

The following pages link to An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification (Q5168474):

Displaying 2 items.

• Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
• Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)