Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Thi Hoai An Ta"'
Autor:
THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Publikováno v:
Forum of Mathematics, Pi, Vol 5 (2017)
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://doaj.org/article/0dae9a3d3e584c73a937daefc20afe3b
Autor:
Thi Hoai An Ta, Viet Phuong Nguyen
Publikováno v:
Computational Methods and Function Theory. 17:613-634
Consider meromorphic functions f, g, and $$\alpha ,$$ where $$\alpha $$ is a small function with respect to f and g. Let Q be a polynomial of one variable. We give suitable conditions on the degree of Q and on the number of zeros and the multipliciti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1e76d6b0b3bcc5b972977845fc0dc6c
https://doi.org/10.1007/s40315-017-0198-y
https://doi.org/10.1007/s40315-017-0198-y
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
De Toffoli, Silvia1 (AUTHOR)
Publikováno v:
Bulletin (New Series) of the American Mathematical Society. Jul2024, Vol. 61 Issue 3, p395-410. 16p.
Autor:
Avigad, Jeremy1 (AUTHOR)
Publikováno v:
Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p225-240. 16p.
Autor:
Commelin, Johan1 (AUTHOR), Topaz, Adam2 (AUTHOR)
Publikováno v:
Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p241-255. 15p.
Autor:
Shulman, Michael1 (AUTHOR)
Publikováno v:
Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p257-270. 14p.
Autor:
Cohn, Henry1 (AUTHOR)
Publikováno v:
Bulletin (New Series) of the American Mathematical Society. Jan2024, Vol. 61 Issue 1, p3-22. 20p.
Autor:
Fekete, Sándor P.1 s.fekete@tu-bs.de, Gurunathan, Vijaykrishna2 krishnavijay1999@gmail.com, Juneja, Kushagra2 kuku12320@gmail.com, Keldenich, Phillip1 p.keldenich@tu-bs.de, Kleist, Linda1 l.kleist@tu-bs.de, Scheffer, Christian3 christian.scheffer@hs-bochum.de
Publikováno v:
Journal of Computational Geometry. 2022, Vol. 13 Issue 2, p3-29. 27p.
Autor:
Avigad, Jeremy1 (AUTHOR)
Publikováno v:
Bulletin (New Series) of the American Mathematical Society. Jan2022, Vol. 59 Issue 1, p99-117. 19p.