From the 1 of 668 papers with an AI index.
29.3k citations
- École nationale des ponts et chausséesFR274 papers
- Institut national de recherche en sciences et technologies du numériqueFR174 papers
- Centre National de la Recherche ScientifiqueFR93 papers
- Pôle de recherche et d'enseignement supérieur Université Paris-EstFR71 papers
- Centre de Recherche en Mathématiques de la DécisionFR35 papers
- MATHERIALS: MATHematics for MatERIALSFR35 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR30 papers
- Laboratoire de Mathématiques Analyse, Probabilités, Modélisation OrléansFR28 papers
- Paris-Est SupFR25 papers
- Laboratoire NavierFR22 papers
- Sorbonne UniversitéFR21 papers
- Laboratoire Jacques-Louis LionsFR19 papers
668 papers
Conditional Infimum, Hidden Convexity and S-Procedure
Jean-Philippe Chancelier, Michel de Lara
Detecting hidden convexity is one of the tools to address nonconvex minimization problems, and find global minimizers. We introduce the notion of conditional infimum, develop the t…
Coupling some conditioned L{é}vy trees with the Kesten tree
Romain Abraham, Jean-François Delmas
We consider locally compact L{é}vy trees conditioned to be large, with respect to different criterion: its height, its maximal ''size'' vertex and its total ''mass''. In the critic…
Regularization of a mean-field SDE by an additive common noise: The conditional expectation case
Pierre Cardaliaguet, Benjamin Jourdain
We investigate a McKean-Vlasov stochastic differential equation with an additive common noise and in which the interaction is through the conditional expectation. We show that, in…
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
Jean-Philippe Chancelier
We present a formal proof of the Sands-Sauer-Woodrow (SSW) theorem using the Rocq proof assistant and the MathComp/SSReflect library. The SSW theorem states that in a directed grap…
A Rocq Formalization of Simplicial Lagrange Finite Elements
Sylvie Boldo, François Clément, Vincent Martin +2
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…
Weak error for SDEs with additive stable noise and singular drift: choose the test function in the same space as the drift!
Benjamin Jourdain, Stéphane Menozzi
We emphasize that for a stochastic differential equation with isotropic stable additive noise and non Lipschitz drift, when considering an appropriate discretization scheme and the…