Stem semialgebra$ (all stems)
3 papers:
- SAT-2006-KojevnikovK #algebra #complexity #proving #strict
- Complexity of Semialgebraic Proofs with Restricted Degree of Falsity (AK, ASK), pp. 11–21.
- STOC-2004-BurgisserC #algebra #complexity #set
- Counting complexity classes for numeric computations II: algebraic and semialgebraic sets (PB, FC), pp. 475–485.
- STOC-1998-Vorobjov #algebra #set
- Computing Local Dimension of a Semialgebraic Set (NV), pp. 483–487.