[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || A Mixed Real and Floating-Point Solver
- 作者Badger, Julia M.; Rozier, Kristin Yvonne
- 文件大小223.76KB
- 发表时间2019
- DOI10.1007/978-3-030-20652-9_25
- 页码363-370
[Lecture Notes in Mathematics] Groupes algébriques semi-simples en dimension cohomologique ≤2 Volume 2238 (Semisimple algebraic groups in cohomological dimension ≤2) || Sous-groupes des groupes algébriques, déploiementGille, Philippe · 2019
[Lecture Notes in Mathematics] Groupes de Monodromie en Géométrie Algébrique Volume 288 || Biextensions de faisceaux de groupesGrothendieck, A. · 1972
[Lecture Notes in Mathematics] Groupes de Monodromie en Géométrie Algébrique Volume 288 || Formal deformation theoryRim, D. S. · 1972
[Lecture Notes in Mathematics] Groupes de Monodromie en Géométrie Algébrique Volume 340 || La formule de MilnorDeligne, P. · 1973
[Lecture Notes in Mathematics] Groupes de Monodromie en Géométrie Algébrique Volume 340 || Le theoreme de GriffithsKatz, N. · 1973
[Lecture Notes in Mathematics] Groupes algébriques semi-simples en dimension cohomologique ≤2 Volume 2238 (Semisimple algebraic groups in cohomological dimension ≤2) || Groupes réductifsGille, Philippe · 2019
[Lecture Notes in Mathematics] Groupes de Monodromie en Géométrie Algébrique Volume 288 || Modeles de neron et monodromieGrothendieck, A. · 1972
0$Gille, Philippe · Duke Mathematical Journal · 2002
Central Simple Algebras and Galois Cohomology || PrefaceGille, Philippe; Szamuely, Tamas · 2017
Central Simple Algebras and Galois Cohomology || BibliographyGille, Philippe; Szamuely, Tamas · 2017
Central Simple Algebras and Galois Cohomology || BibliographyGille, Philippe; Szamuely, Tamas · 2006
Central Simple Algebras and Galois Cohomology || PrefaceGille, Philippe; Szamuely, Tamas · 2006
Isotriviality of torsors over Laurent polynomial ringsPhilippe Gille; Arturo Pianzola · 2005
Formules pour l’invariant de RostGille, Philippe; Quéguiner-Mathieu, Anne · Algebra & Number Theory · 2011
Central Simple Algebras and Galois Cohomology || Quaternion algebrasGille, Philippe; Szamuely, Tamas · 2017