Formal proofs in real algebraic geometry: From ordered fields to quantifier elimination

Cyril Cohen, Assia Mahboubi

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Formal proofs in real algebraic geometry: From ordered fields to quantifier elimination'. Together they form a unique fingerprint.

Mathematics