-
Formal proofs in real algebraic geometry: from ordered fields to quantifier e...
International audience -
Formalized algebraic numbers: construction and first-order theory.
This thesis presents a formalization of algebraic numbers and their theory. It brings two new important contributions to the formalization of mathematical results in...
