scientific article; zbMATH DE number 4008374
From MaRDI portal
Publication:3758811
Recommendations
- Quantifier elimination for real algebra -- the quadratic case and beyond
- scientific article; zbMATH DE number 3895043
- Real quantifier elimination is doubly exponential
- New results on quantifier elimination over real closed fields and applications to constraint databases
- On the combinatorial and algebraic complexity of quantifier elimination
Cited in
(15)- A bibliography of quantifier elimination for real closed fields
- Real quantifier elimination is doubly exponential
- Quantifier elimination in pairs of algebraically closed fields
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
- Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
- New results on quantifier elimination over real closed fields and applications to constraint databases
- scientific article; zbMATH DE number 3935016 (Why is no real title available?)
- scientific article; zbMATH DE number 1302474 (Why is no real title available?)
- An Intuitionistic Axiomatisation of Real Closed Fields
- Quantifier elimination in the elementary theory of real closed fields: remarkable history, actual present.
- Towards fast one-block quantifier elimination through generalised critical values
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
- Quantifier elimination on real closed fields and differential equations
- Some aspects of complexity in real algebraic geometry
- Quantifier elimination for the reals with a predicate for the powers of two
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3758811)
