The following pages link to Cédric Rivière (Q836112):
Displayed 13 items.
- The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field (Q836113) (← links)
- Geometrical axiomatization for model complete theories of differential topological fields (Q866495) (← links)
- Further notes on cell decomposition in closed ordered differential fields (Q1023050) (← links)
- Cell decomposition and dimension function in the theory of closed ordered differential fields (Q1023052) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Uniform first-order definitions in finitely generated fields (Q2370123) (← links)
- Some remarks concerning the theory of ordered differentially closed fields. (Q2501395) (← links)
- The theory of closed ordered differential fields with \(m\) commuting derivations (Q2506458) (← links)
- (Q5021008) (← links)
- Hybrid Systems: Computation and Control (Q5307470) (← links)
- The model theory of <i>m</i>‐ordered differential fields (Q5485485) (← links)
- Decisiveness of Stochastic Systems and its Application to Hybrid Models (Q6332800) (← links)
- Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version) (Q6350013) (← links)