Pages that link to "Item:Q1959088"
From MaRDI portal
The following pages link to Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem (Q1959088):
Displaying 12 items.
- A complex analogue of Toda's theorem (Q454132) (← links)
- On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials (Q466903) (← links)
- Complexity classes and completeness in algebraic geometry (Q1740570) (← links)
- Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem (Q2003990) (← links)
- Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets (Q2088135) (← links)
- Interactive proofs and a Shamir-like result for real number computations (Q2323360) (← links)
- A complexity theory of constructible functions and sheaves (Q2340508) (← links)
- Some Results on Interactive Proofs for Real Computations (Q3195685) (← links)
- CATEGORICAL COMPLEXITY (Q3304647) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- (Q5171165) (redirect page) (← links)
- Beyond the Existential Theory of the Reals (Q6489317) (← links)