À propos
Notre revue
Équipe éditoriale
Les CR Math en libre accès diamant
Référencement et archivage
Articles et numéros
Collections transverses
Anciens numéros
Soumettre un article
Soumettre votre manuscrit
Instructions aux auteurs
Mathématique
Mécanique
Physique
Géoscience
Palevol
Chimie
Biologies
Vie des sciences
À propos
Notre revue
Équipe éditoriale
Les CR Math en libre accès diamant
Référencement et archivage
Articles et numéros
Collections transverses
Anciens numéros
Soumettre un article
Soumettre votre manuscrit
Instructions aux auteurs
Consulter
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
Années
2021 (1)
Classifications
03C10 (1)
03C64
(1)
12J10
(1)
12J15 (1)
12L12 (1)
Filtrer la recherche
Filtrer la recherche
Années
2021 (1)
Classifications
03C10 (1)
03C64
(1)
12J10
(1)
12J15 (1)
12L12 (1)
1 résultat
Quantifier elimination for quasi-real closed fields
Mickaël Matusinski; Simon Müller
Comptes Rendus. Mathématique, Volume 359 (2021) no. 3 p. 291-295