Pages that link to "Item:Q1185457"

The following pages link to On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination (Q1185457):

Displaying 2 items.

• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
• A note on parallel and alternating time (Q2465291) (← links)