- 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
2 papers
math.PR2026
Mean-field limit of particle systems with absorption
Gaoyue Guo, Maxime Latypov, Milica Tomasevic
In this work, we consider one-dimensional particles interacting in mean-field type through a bounded kernel. In addition, when particles hit some barrier (say zero), they are remov…
cs.LO2026
Formalizing Representation Theorems for a Logical Framework with Rewriting
Thomas Traversié, Florian Rabe
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and log…