List of bibliographic references
Number of relevant bibliographic references: 57.
[0-20] [
0 - 20][
0 - 50][
20-40]
Ident. | Authors (with country if any) | Title |
---|
000000 (2017) |
Bertrand Toën [France] | PROBLEMES DE MODULES FORMELS [d’après Drinfeld, Kontsevich, Hinich, Manetti, Pridham, Lurie ...] |
000001 (2017) |
Gerhard Heinzmann [France] | Objectivity in Mathematics: The Structuralist Roots of a Pragmatic Realism |
000002 (2017) |
Thomas Hausberger [France] | La dialectique objets-structures comme cadre de référence pour une étude didactique du structuralisme algébrique |
000003 (2017) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two; Ordered Sets, Cardinals, Integers |
000004 (2016-07-20) |
Damien Gaboriau [France] | Sofic entropy, after Lewis Bowen, David Kerr and Hanfeng Li |
000005 (2016-03) |
Ludovic Rifford [France] | Singulières minimisantes en géométrie sous-riemannienne [d'après Hakavuori, Le Donne, Leonardi, Monti...] |
000006 (2016) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers |
000007 (2016) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part Three Structures |
000008 (2015-10-08) |
Pierre Mounier-Kuhn [France] | Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence |
000009 (2015) |
Pierre Allorant [France] ; Jacques Resal ; Jean-Noël Jeanneney [France] ; Salomé Allorant | La République au défi de la guerre. Lettres et carnets de l'Année terrible (1870-1871) |
000010 (2015) |
Evandro Agazzi ; Gerhard Heinzmann [France] | The Practical Turn in Philosophy of Science |
000011 (2015) |
Reinhard Kahle [France] | After Hilbert and Brouwer: Bourbaki and Bishop |
000012 (2014-09-17) |
Gabriel Ciobanu [Roumanie] ; Dominique Méry [France] | Theoretical Aspects of Computing – ICTAC 2014 |
000013 (2014-06-30) |
Anne-Sandrine Paumier [France] | Laurent schwartz (1915-2002) and the collective life of mathematics |
000014 (2014) |
L. Zambotti [France] | L'équation de Kardar-Parisi-Zhang (d'après Martin Hairer) |
000015 (2014) |
Sébastien Maronne [France] | Pierre Samuel et Jules Vuillemin : mathématiques et philosophie |
000016 (2014) |
Sébastien Boucksom [France] | Corps d'Okounkov (d'après Okounkov, Lazarsfeld-Mustaţǎ et Kaveh-Khovanskii) |
000018 (2014) |
Jean-Baptiste Gouéré [France] | Branching brownian motion seen from its left-most particle |
000020 (2013-04) |
David Aubin [France] ; Hélène Gispert [France] ; Catherine Goldstein [France] | The Total War of Paris Mathematicians |
000021 (2013) |
Anne-Sandrine Paumier [France] ; David Aubin [France] | Polycephalic Euclid? |
000022 (2013) |
José Grimm [France] | Implementation of three types of ordinals in Coq |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i -k "France"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i \
-Sk "France" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Mathematiques
|area= BourbakiV1
|flux= Hal
|étape= Checkpoint
|type= indexItem
|index= AffPays.i
|clé= France
}}
| This area was generated with Dilib version V0.6.33. Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022 | |