Back
  1. Home
  2. Profile
Profil

Michaux Christian

Université de Mons - UMONS > Faculté des Sciences > Service de Logique mathématique

Université de Mons - UMONS > Facult?des Sciences > Service de Logique math?atique

ORCID
0000-0002-3783-2658

Main Referenced Co-authors
Brihaye, Thomas  (5)
Troestler, Christophe  (5)
Rivière, Cédric  (3)
BAUS, Monique (1)
Bridoux, Stéphanie  (1)
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (4)
Main Referenced Disciplines
Mathematics (12)
Electrical & electronics engineering (8)
Education & instruction (1)

Publications (total 13)

The most downloaded
13 downloads
Michaux, C., & Troestler, C. (1998). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. NeuroCOLT2. https://hdl.handle.net/20.500.12907/9562
The most cited
30 citations (OpenCitations)
Brihaye, T., & Michaux, C. (01 August 2005). On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity, 21 (Issue 4), 447-478. doi:10.1016/j.jco.2004.09.003 https://hdl.handle.net/20.500.12907/11386

Michaux, C. (31 August 2022). Décidabilité versus Indécidabilité en Arithmétique, mini-cours sur invitation. Paper presented at Brussels Summer School of mathematics (BSSM 22), Brussels, Belgium.

Michaux, C., & BAUS, M. (2013). Le 'Matheux'. La Libre.

Michaux, C., Steinhorn, C., Esparza, J., Michaux, C. (Ed.), Esparza, J. (Ed.), & Steinhorn, C. (Ed.). (2011). Finite and Algorithmic Model Theory. Cambridge University Press.

Brihaye, T., Michaux, C., & Rivière, C. (01 May 2009). Cell decomposition and dimension function in the theory of closed ordered differential fields. Annals of Pure and Applied Logic, 159 (Issues 1-2), 111-128. doi:10.1016/j.apal.2008.09.029
Peer Reviewed verified by ORBi

Brihaye, T., & Michaux, C. (2009). Economie, environnement et mathématiques.

Brihaye, T., & Michaux, C. (31 January 2006). Corrigendum to 'On the expressiveness and decidability of o-minimal hybrid systems' [J. Complexity 21 (2005) 447-478]. Journal of Complexity, 22 (Issue 3), 431-434.
Peer Reviewed verified by ORBi

Michaux, C., & Rivière, C. (01 September 2005). Quelques remarques concernant la théorie des corps ordonnés différentiellement clos. Bulletin de la Société Mathématique de Belgique, 12 (3), 341-348.
Peer reviewed

Brihaye, T., & Michaux, C. (01 August 2005). On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity, 21 (Issue 4), 447-478. doi:10.1016/j.jco.2004.09.003
Peer Reviewed verified by ORBi

Michaux, C., Troestler, C., & Bridoux, S. (2004). Préparer la transition secondaire-université dans les cours de mathématiques.

Brihaye, T., Michaux, C., Rivière, C., & Troestler, C. (01 January 2004). On O-Minimal Hybrid Systems. Lecture Notes in Computer Science, 2993, 133-138.
Peer reviewed

Troestler, C., & Michaux, C. (28 January 2000). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. Theoretical Computer Science, 231, 253-273. doi:10.1016/S0304-3975(99)00103-6
Peer Reviewed verified by ORBi

Michaux, C., & Troestler, C. (1998). Isomorphism theorem for BSS recursively enumerable sets on real closed fields. NeuroCOLT2.

Michaux, C., & Troestler, C. (1998). Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. Paper presented at International Colloquium Universal Machines and Computations, Metz, France.

Contact ORBi