11 citations
7 papers
Explaining Gabriel-Zisman localization to the computer
Carlos T. Simpson
This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof…
Files for Gabriel-Zisman localization
Carlos T. Simpson
This preprint contains the Coq proof files for Gabriel-Zisman localization, bundled with the source. The text of this preprint consists of the definitions and lemma statements of t…
Electric turbulence in a plasma subject to a strong magnetic field
G. Loeper, A. Vasseur
We consider in this paper a plasma subject to a strong deterministic magnetic field and we investigate the effect on this plasma of a stochastic electric field. We show that the li…
A Berry-Esseen theorem for Feynman-Kac and interacting particle models
Pierre Del Moral, Samy Tindel
In this paper we investigate the speed of convergence of the fluctuations of a general class of Feynman-Kac particle approximation models. We design an original approach based on n…
Sur la dimension de l'ensemble des points base du fibre determinant sur l'espace des modules des fibres vectoriels semi stables sur une courbe
Olivier Schneider
Resume Soit SU_C(r) l'espace des modules des fibrés vectoriels semi-stables de déterminant trivial sur une courbe lisse de genre sur . On étudie dans cet…
New applications of Equinox code for real-time plasma equilibrium and profile reconstruction for tokamaks
Krzysztof Bosak, Jacques Blum, Emmanuel Joffrin
Recent development of real-time equilibrium code Equinox [1] using a fixed-point algorithm [2] allow major plasma magnetic parameters to be identified in real-time, using rigorous…