Keywords : Program verification; AI; High-dimensional statistics; Numericals errors (D. Defour); Graph (P. Vilamajo), hypergraph and game theory.
Characterization of numerical and discret systems" covers multiple aspects at the intersection of statistics, program verification, optimization adn game theory/economics :
- Provide statistical information for large-scale problems (fluid mechanics (POD, SPOD), ocean data (DMD, detention of specific phenomena at controlled frequencies).
- Provide new results in game theory/economics (applications : discrete-event systems, railway networks, etc.).
- Redefine computation in unconventional arithmetic, applications in AI, physics, biology using GPU acceleration.
- Program verification.
Mise à jour le 3 juillet 2025