Titre (en)
Analysis
France
Racine
Analysis
France
Exploration
Accueil
Racine
Racine

Serveur d'exploration Bourbaki - Analysis (France)

Index « Titre (en) » - entrée « real »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
rationnels < real < realism  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000006 (2016) José Grimm [France]Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers
000075 (2011) Roger Boudet [France]Real Algebras Associated with an Euclidean Space
000157 (2008) Pierre Anglè [France]Real Conformal Spin Structures
000616 (1992) R. Silhol [France]Compactifications of moduli spaces in real algebraic geometry
000695 (1988) R. El Assoudi [France] ; J. P. Gauthier [France]Controllability of right invariant systems on real simple Lie groups of type F 4, G 2, C n , and B n *
000732 (1984) Robert Silhol [France]Real algebraic surfaces with rational or elliptic fiberings
000733 (1984) J. P. Gauthier [France] ; I. Kupka [France] ; G. Sallet [France]Controllability of right invariant systems on real simple Lie groups
000759 (1980) Pierre Deligne [France] ; Kenneth A. Ribet [France]Values of abelian L -functions at negative integers over totally real fields

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/France/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Title.i -k "real" 

HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Title.i  \
                -Sk "real" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/France/Analysis/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    France
   |étape=   Analysis
   |type=    indexItem
   |index=    Title.i
   |clé=    real
}}
Wicri

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