Suivre
Joseph Pleso
Joseph Pleso
Graduate Research Assistant, West Virginia Univeristy
Adresse e-mail validée de alumni.psu.edu
Titre
Citée par
Citée par
Année
A formal proof of the Kepler conjecture
T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ...
Forum of mathematics, Pi 5, e2, 2017
4442017
A formal proof of the Kepler conjecture (2015)
T Hales, M Adams, G Bauer, DT Dang, J Harrison, TL Hoang, C Kaliszyk, ...
Preprint arXiv 1501, 2015
132015
A formal proof of the Kepler conjecture. Forum of Mathematics, Pi 5 (2017)
T Hales, M Adams, G Bauer, TD Dang, J Harrison, LT Hoang, C Kaliszyk, ...
URL: https://doi. org/10.1017/fmp, 2017
92017
egut
J Hundley, J Pleso
https://code.google.com/p/egut/, 2009
2009
Integrals Over an Interesting Unipotent Subgroup
JF Pleso
Southern Illinois University Carbondale, 2009
2009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5