Quantifier elimination for quasi-real closed fields

Mickaël Matusinski; Simon Müller

Comptes Rendus. Mathématique, Volume 359 (2021) p. 291-295

Generalised power series solutions of sub-analytic differential equations

Mickaël Matusinski; Jean-Philippe Rolin

Comptes Rendus. Mathématique, Volume 342 (2006) p. 99-102