6 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Henri Lombardi, Assia Mahboubi
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics…