- Centre de Mathématiques Appliquées de l'École polytechniqueFR1 paper
- DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatiqueFR1 paper
- École PolytechniqueFR1 paper
- Friedrich-Alexander-Universität Erlangen-NürnbergDE1 paper
- Laboratoire de Mesure du Carbone 14FR1 paper
- Meteoceanics Institute for Complex System ScienceAT1 paper
Showing math.PRShow all
1 paper · 1 filter