A Formal Quantifier Elimination for Algebraically Closed Fields

DOI10.1007/978-3-642-14128-7_17zbMath1286.68394OpenAlexW4250099094MaRDI QIDQ3582707

Cyril Cohen, Assia Mahboubi

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00464237/file/main.pdf

Mathematics Subject Classification ID

Decidability and field theory (12L05) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

Proving an execution of an algorithm correct? ⋮ Unnamed Item ⋮ Proof Assistant Decision Procedures for Formalizing Origami

Uses Software

• Coq
• HOL

This page was built for publication: A Formal Quantifier Elimination for Algebraically Closed Fields