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
(19)- Quantifier elimination for modules with scalar variables
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
- Elimination of constants from machines over algebraically closed fields
- Simplification of quantifier-free formulae over ordered fields
- Quantifier elimination in pairs of algebraically closed fields
- 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
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
- Quantifier elimination over finite fields using Gröbner bases
- scientific article; zbMATH DE number 4014674 (Why is no real title available?)
- Formalizing constructive quantifier elimination in Agda
- scientific article; zbMATH DE number 871442 (Why is no real title available?)
- scientific article; zbMATH DE number 7264200 (Why is no real title available?)
- scientific article; zbMATH DE number 3895043 (Why is no real title available?)
- Proof assistant decision procedures for formalizing origami
- A roadmap to decidability
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
- Proving an execution of an algorithm correct?
- Cardy condition for open-closed field algebras
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)
