Publication:3535224

From MaRDI portal


zbMath1181.14062MaRDI QIDQ3535224

Jean-Philippe Rolin

Publication date: 10 November 2008



14P99: Real algebraic and real-analytic geometry

26E40: Constructive real analysis

03C64: Model theory of ordered structures; o-minimality


Related Items