The Kepler conjecture : the Hales-Ferguson proof
Kaydedildi:
| Yazar: | Lagarias, Jeffrey C., 1949- |
|---|---|
| Materyal Türü: | Livre papier |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
New York, NY :
Springer Science+Business Media, LLC
2011.
|
| Konular: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Kepler conjecture, the Hales-Ferguson proof, Jeffrey C. Lagarias, editor, 1st ed. 2011., New York, NY, Springer New York, 2011, 978-1-461-41129-1 |
Benzer Materyaller
-
The Kepler conjecture : the Hales-Ferguson proof
(Livre numérique)
Lagarias, Jeffrey C., 1949-...., mathématicien -
Automated deduction in equational logic and cubic curves
(Livre numérique)
McCune, William Walker, 1953-, ve diğerleri -
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
(Livre numérique)
Wang, Dongming, 1961-...., mathématicien - Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers (Livre numérique)
- Automated deduction in geometry : Second International Workshop, ADG 98, Beijing, China, August 1 3, 1998 : proceedings (Livre numérique)

