Zobrazeno 1 - 3
of 3
pro vyhledávání: '"An Hoai Thi Ta"'
Autor:
Lieu Thu Thi Nguyen, Cuong Danh Tran, Ha Thu Thi Nguyen, Hai Thanh Phan, Linh Thuy Nguyen, Huong Lan Thi Nguyen, Anh Hoai Thi Ta, Chau Quynh Thi Pho, Khanh Nam Do, Anh Kim Dang, Huong Thi Le
Publikováno v:
Pediatric Investigation, Vol 7, Iss 4, Pp 254-262 (2023)
ABSTRACT Importance Nutritional status of infants, measured by birth weight and length, is an essential factor in neonatal development. Malnutrition in newborns may lead to a higher risk of mortality, neurological and cognitive impairment, and poor l
Externí odkaz:
https://doaj.org/article/a8e71ff77fda4fb6b8d7b27495adcc98
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.