Dernières publications

Communication dans un congrès
06/03/2023
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
Pré-publication, Document de travail
06/03/2023
Pré-publication, Document de travail
06/03/2023
Discrete potential mean field games: duality and numerical resolution
Joseph Frédéric Bonnans, Pierre Lavigne, Laurent Pfeiffer
Article dans une revue
06/03/2023
Pré-publication, Document de travail
06/03/2023
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Pré-publication, Document de travail
05/03/2023
Pré-publication, Document de travail
05/03/2023
Démarche de conception participative d’une application mobile motivationnelle pour l’autogestion de la lombalgie chronique
Florian Debackere, Céline Clavel, Alexandra Roren, François Rannou, Christelle Nguyen, Viet-Thi Tran, Isabelle Boutron, Yosra Messai, Jean-Claude Martin
Pré-publication, Document de travail
05/03/2023
Rapport
04/03/2023
Pré-publication, Document de travail
02/03/2023
Signal Inpainting from Fourier Magnitudes
Louis Bahrman, Marina Krémé, Paul Magron, Antoine Deleforge

Pages