Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Thomas C. Hales"'
Autor:
Thomas C. Hales, Rodrigo Raya
Publikováno v:
Automated Reasoning ISBN: 9783030510534
IJCAR (2)
IJCAR (2)
This article gives an elementary computational proof of the group law for Edwards elliptic curves. The associative law is expressed as a polynomial identity over the integers that is directly checked by polynomial division. Unlike other proofs, no pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::604a94c69064740be3859e35e1540284
https://doi.org/10.1007/978-3-030-51054-1_15
https://doi.org/10.1007/978-3-030-51054-1_15
Autor:
Roland Zumkeller, Ky Khac Vu, Joseph Pleso, Tobias Nipkow, Truong Le Hoang, Truong Quang Nguyen, Sean McLaughlin, Steven Obua, Jason Rute, An Hoai Thi Ta, Mark Adams, Alexey Solovyev, Thang Tat Nguyen, Trung Nam Tran, Cezary Kaliszyk, Dat Tat Dang, John Harrison, Victor Magron, Gertrud Bauer, Diep Thi Trieu, Josef Urban, Thomas C. Hales
Publikováno v:
Forum of Mathematics. Pi, 5, 1-29
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Pi
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Pi
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a280db53ee95a279e1aa5fc6830335ea
https://hdl.handle.net/2066/176365
https://hdl.handle.net/2066/176365
Autor:
Thomas C. Hales, Julia Gordon
Publikováno v:
American Journal of Mathematics. 138:109-148
This article constructs Shalika germs in the context of motivic integration, both for ordinary orbital integrals and $\kappa$-orbital integrals. Based on transfer principles in motivic integration and on Waldspurger's endoscopic transfer of smooth fu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abc2e5cd53ecbe8fa9637ee90d20150e
https://doi.org/10.1353/ajm.2016.0005
https://doi.org/10.1353/ajm.2016.0005
Autor:
Thomas C. Hales
Publikováno v:
PxTP@CADE
The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the familiar cannonball arrangement. The proof of the Kepler conjecture was announced in 1998, but it went several
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8bd024b2dce2ed3d3763998bf40c3c51
https://doi.org/10.29007/2l48
https://doi.org/10.29007/2l48
This article gives a proof of the Langlands-Shelstad fundamental lemma for the spherical Hecke algebra for every unramified p-adic reductive group G in large positive characteristic. The proof is based on the transfer principle for constructible moti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::665445cae97b80e96b30604d77fc04f5
http://arxiv.org/abs/1611.05773
http://arxiv.org/abs/1611.05773
Autor:
Thomas C. Hales, Sean McLaughlin
Publikováno v:
Journal of the American Mathematical Society. 23:299-344
This article gives a summary of a proof of Fejes Toth’s Dodecahedral conjecture: the volume of a Voronoi polyhedron in a three-dimensional packing of balls of unit radius is at least the volume of a regular dodecahedron of unit inradius.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85430ccf7d5c7f111c0bd52db14a70f6
https://doi.org/10.1090/s0894-0347-09-00647-x
https://doi.org/10.1090/s0894-0347-09-00647-x
Autor:
Thomas C. Hales
Publikováno v:
The American Mathematical Monthly. 114:882-894
(2007). The Jordan Curve Theorem, Formally and Informally. The American Mathematical Monthly: Vol. 114, No. 10, pp. 882-894.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ca76ccfef38650c1a91675efcb0b693
https://doi.org/10.1080/00029890.2007.11920481
https://doi.org/10.1080/00029890.2007.11920481
Autor:
Thomas C. Hales
Publikováno v:
Discrete & Computational Geometry. 36:111-166
This paper is the fourth in a series of six papers devoted to the proof of theKepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. In a previous paper in thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b084c91401aa51a3480025f5ea2d74bc
https://doi.org/10.1007/s00454-005-1213-z
https://doi.org/10.1007/s00454-005-1213-z
Autor:
Thomas C. Hales
Publikováno v:
Discrete & Computational Geometry. 36:5-20
This paper is the first in a series of six papers devoted to the proof of the Kepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. After some preliminary com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01962c45ec7d10012b8c0a47c7092210
https://doi.org/10.1007/s00454-005-1210-2
https://doi.org/10.1007/s00454-005-1210-2
Autor:
Thomas C. Hales
Publikováno v:
Discrete & Computational Geometry. 36:205-265
This paper is the sixth and final part in a series of papers devoted to the proof of the Kepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. In a previous p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77471434462bd13ea26ac6116076a23d
https://doi.org/10.1007/s00454-005-1215-x
https://doi.org/10.1007/s00454-005-1215-x