A formal quantifier elimination for algebraically closed fields
From MaRDI portal
Recommendations
- Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- scientific article; zbMATH DE number 4014674
- scientific article; zbMATH DE number 871442
- scientific article; zbMATH DE number 3895043
Cited in
(18)- Proof assistant decision procedures for formalizing origami
- scientific article; zbMATH DE number 7447763 (Why is no real title available?)
- Quantifier elimination over finite fields using Gröbner bases
- Cardy condition for open-closed field algebras
- scientific article; zbMATH DE number 3895043 (Why is no real title available?)
- Elimination of constants from machines over algebraically closed fields
- Quantifier elimination for modules with scalar variables
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
- Quantifier elimination in pairs of algebraically closed fields
- A roadmap to decidability
- scientific article; zbMATH DE number 4014674 (Why is no real title available?)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
- scientific article; zbMATH DE number 7264200 (Why is no real title available?)
- Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Simplification of quantifier-free formulae over ordered fields
- Proving an execution of an algorithm correct?
This page was built for publication: A formal quantifier elimination for algebraically closed fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582707)
