List of bibliographic references indexed by bourbaki
Number of relevant bibliographic references: 99.
[0-20] [
0 - 20][
0 - 50][
20-40]
Ident. | Authors (with country if any) | Title |
---|
000002 (2017) |
Gerhard Heinzmann [France] | Objectivity in Mathematics: The Structuralist Roots of a Pragmatic Realism |
000006 (2017) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two; Ordered Sets, Cardinals, Integers |
000008 (2016-03) |
Ludovic Rifford [France] | Singulières minimisantes en géométrie sous-riemannienne [d'après Hakavuori, Le Donne, Leonardi, Monti...] |
000009 (2016) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers |
000012 (2016) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part Three Structures |
000013 (2015-10-08) |
Pierre Mounier-Kuhn [France] | Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence |
000017 (2015) |
Reinhard Kahle [France] | After Hilbert and Brouwer: Bourbaki and Bishop |
000018 (2014-09-17) |
Gabriel Ciobanu [Roumanie] ; Dominique Méry [France] | Theoretical Aspects of Computing – ICTAC 2014 |
000019 (2014-06-30) |
Anne-Sandrine Paumier [France] | Laurent schwartz (1915-2002) and the collective life of mathematics |
000020 (2014) |
Jean-Baptiste Gouéré [France] | Branching brownian motion seen from its left-most particle |
000022 (2014) |
Sébastien Maronne [France] | Pierre Samuel et Jules Vuillemin : mathématiques et philosophie |
000024 (2014) |
Adrian R D. Mathias [Réunion] | Hilbert, Bourbaki and the scorning of logic |
000025 (2013-06-10) |
Clément Mouhot [Royaume-Uni] | Orbital stability for the gravitational Vlasov-Poisson system, after Lemou-Méhats-Raphaël, Guo, Lin, Rein et al. |
000026 (2013-04) |
David Aubin [France] ; Hélène Gispert [France] ; Catherine Goldstein [France] | The Total War of Paris Mathematicians |
000099 (2013) |
Anne-Sandrine Paumier [France] ; David Aubin [France] | Polycephalic Euclid? |
000100 (2013) |
José Grimm [France] | Implementation of three types of ordinals in Coq |
000101 (2013) |
José Grimm [France] | Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets |
000102 (2012-12-03) |
Virginia Ferro [Argentine] | Los conceptos de "estructura" y "modelo" como ejemplo paradigmático transdiciplinar en las Ciencias Humanas y Sociales |
000193 (2012) |
Gyula Csat [Suisse] ; Bernard Dacorogna [Suisse] ; Olivier Kneuss [Suisse] | Exterior Forms and the Notion of Divisibility |
000224 (2011-10-24) |
Alexandru Oancea [France] | Invariants de Welschinger |
000225 (2011-03) |
Marcel Brissaud ; Michel Lamure [France] ; Jean-Jacques Milan ; Jean-Paul Auray ; Nicolas Nicoloyannis [France] ; Gérard Duru ; Michel Terrenoire ; Daniel Tounissoux ; Djamel Abdelkader Zighed [France] ; Stéphane Bonnevay [France] ; Thanh Van Le ; Marc Bui [France] ; Soufian Ben Amor [France] ; Vincent Levorato [France] ; Nadia Kabachi [France] | Basics of pretopology |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "bourbaki"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i \
-Sk "bourbaki" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Mathematiques
|area= BourbakiV1
|flux= Main
|étape= Exploration
|type= indexItem
|index= AbsEn.i
|clé= bourbaki
}}
| 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 | |