# zbMATH — the first resource for mathematics

## Rivière, Cédric

Compute Distance To:
 Author ID: riviere.cedric Published as: Rivière, Cédric External Links: MGP
 Documents Indexed: 7 Publications since 2004 Reviewing Activity: 6 Reviews

#### Co-Authors

 3 single-authored 3 Michaux, Christian 2 Brihaye, Thomas 1 Guzy, Nicolas 1 Troestler, Christophe

#### Serials

 2 Annals of Pure and Applied Logic 1 Notre Dame Journal of Formal Logic 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Mathematical Logic Quarterly (MLQ) 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris

#### Fields

 7 Mathematical logic and foundations (03-XX) 6 Field theory and polynomials (12-XX) 1 Computer science (68-XX) 1 Systems theory; control (93-XX)

#### Citations contained in zbMATH Open

7 Publications have been cited 26 times in 22 Documents Cited by Year
On o-minimal hybrid systems. Zbl 1135.93353
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric; Troestler, Christophe
2004
Cell decomposition and dimension function in the theory of closed ordered differential fields. Zbl 1166.03015
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric
2009
Some remarks concerning the theory of ordered differentially closed fields. Zbl 1104.03028
Michaux, Christian; Rivière, Cédric
2005
Further notes on cell decomposition in closed ordered differential fields. Zbl 1166.03017
Rivière, Cédric
2009
Geometrical axiomatization for model complete theories of differential topological fields. Zbl 1113.03033
Guzy, Nicolas; Rivière, Cédric
2006
The theory of closed ordered differential fields with $$m$$ commuting derivations. Zbl 1097.03029
Rivière, Cédric
2006
The model theory of $$m$$-ordered differential fields. Zbl 1095.03023
Rivière, Cédric
2006
Cell decomposition and dimension function in the theory of closed ordered differential fields. Zbl 1166.03015
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric
2009
Further notes on cell decomposition in closed ordered differential fields. Zbl 1166.03017
Rivière, Cédric
2009
Geometrical axiomatization for model complete theories of differential topological fields. Zbl 1113.03033
Guzy, Nicolas; Rivière, Cédric
2006
The theory of closed ordered differential fields with $$m$$ commuting derivations. Zbl 1097.03029
Rivière, Cédric
2006
The model theory of $$m$$-ordered differential fields. Zbl 1095.03023
Rivière, Cédric
2006
Some remarks concerning the theory of ordered differentially closed fields. Zbl 1104.03028
Michaux, Christian; Rivière, Cédric
2005
On o-minimal hybrid systems. Zbl 1135.93353
Brihaye, Thomas; Michaux, Christian; Rivière, Cédric; Troestler, Christophe
2004
all top 5

#### Cited by 32 Authors

 5 Brihaye, Thomas 5 Point, Françoise 3 Brouette, Quentin 2 Bauer, Kerstin 2 Casagrande, Alberto 2 Gentilini, Raffaella 2 Korovina, Margarita Vladimirovna 2 Michaux, Christian 2 Mishra, Bud 2 Piazza, Carla 2 Rivière, Cédric 2 Schneider, Klaus 2 Vorob’ëv, Nikolaĭ N. jun. 1 Aschenbrenner, Matthias 1 Bouyer, Patricia 1 Bresolin, Davide 1 Bruyère, Véronique 1 Capiluppi, Marta 1 Chevalier, Fabrice 1 Corvaja, Pietro 1 Cousins, Greg 1 Cubides Kovacsics, Pablo 1 Damm, Werner 1 Guzy, Nicolas 1 Ihlemann, Carsten 1 Pillay, Anand 1 Policriti, Alberto 1 Render, Elaine 1 Sofronie-Stokkermans, Viorica 1 Tabuada, Paulo 1 van den Dries, Lou 1 van der Hoeven, Joris
all top 5

#### Cited in 14 Serials

 4 Annals of Pure and Applied Logic 2 Mathematical Logic Quarterly (MLQ) 1 Acta Informatica 1 Communications in Algebra 1 The Journal of Symbolic Logic 1 Theoretical Computer Science 1 Journal of Complexity 1 Information and Computation 1 Archive for Mathematical Logic 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Mathematics in Computer Science 1 RAIRO. Theoretical Informatics and Applications
all top 5

#### Cited in 8 Fields

 14 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 8 Field theory and polynomials (12-XX) 3 Systems theory; control (93-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)