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.
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
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
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.
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.
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
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
Autor:
Thomas C. Hales
Publikováno v:
Discrete & Computational Geometry. 36:71-110
This paper is the third 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. In the previous paper in t