The following pages link to (Q4011324):
Displaying 6 items.
- On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination (Q1185457) (← links)
- An algorithm for sums of squares of real polynomials (Q1295495) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Recent advances in real complexity and computation. UIMP-RSME Lluís Santaló summer school, Universidad Internacional Menéndez Pelayo, Santander, Spain, July 16--20, 2012 (Q2872513) (← links)
- (Q4391222) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)