45 citations · 80 across the 5 of their papers we have counts for
1 paper · 1 filter
Assia Mahboubi, Cyril Cohen
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers,…