An outline of geometric quantisation (d'après Kostant)

Type: Book-Chapter

Publication Date: 1977-01-01

Citations: 3

DOI: https://doi.org/10.1007/bfb0087779

Locations

  • Lecture notes in mathematics - View

Similar Works

Action Title Year Authors
+ Formalisation, arithmetization and automatisation of geometry 2023 Julien Narboux
+ Automated development of Tarski's geometry 1989 Art Quaife
+ Introduction à quelques aspects de quantification géométrique 2014 Noé Aubin-Cadot
+ Géométrisation des univers quantifiables 2023 Jean louis Jonot
+ Geometric Calculus and Geometry Foundations in Peano 2011 Paolo Freguglia
+ Quantification géométrique : théorie et exemples 1976 Charles M. Marle
+ A Glimpse into Algebraic Geometry and Arithmetic 2018
+ Mechanical Theorem Proving in Tarski’s Geometry 2007 Julien Narboux
+ Quantification géométrique. Applications 1967 Jean-Marie Souriau
+ Geometry and arithmetic 2012 Carel Faber
Gavril Farkas
Robin de Jong
+ Forking geometry on theories with an independent predicate 2014 Juan Felipe Carmona
+ A Glimpse into Geometric Representation Theory 2024
+ PDF Chat Geometric Unification 2016 Ali H. Chamseddine
+ A short treatise of geometrie 1971 John Babington
+ Metatheoretical Questions and Methods in Elementary Geometry 1993 Erwin Engeler
+ PDF Chat Quantification geometrique, operateurs d’entrelacement et representations unitaires de $\widetilde{SL_3 }(R)$ 1983 Pierre Torasso
+ Towards a geometry of recursion 2010 Esfandiar Haghverdi
+ A first step towards automated conjecture-making in higher arithmetic geometry. 2016 Andreas Holmstrom
+ Interpretation geometrique des etats quantiques 1977 Jean-Marie Souriau
+ A Proposal for a Geometry Theorem Proving Program 1963 Timothy P. Hart

Works Cited by This (0)

Action Title Year Authors