×

zbMATH — the first resource for mathematics

Tran, Nam Trung

Compute Distance To:
Author ID: tran.nam-trung Recent zbMATH articles by "Tran, Nam Trung"
Published as: Tran, Nam; Tran, Nam Trung
Documents Indexed: 5 Publications since 2005

Publications by Year

Citations contained in zbMATH

4 Publications have been cited 22 times in 21 Documents Cited by Year
A formal proof of the Kepler conjecture. Zbl 1379.52018
Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland
11
2017
Domain-dependent knowledge in answer set planning. Zbl 1367.68271
Son, Tran Cao; Baral, Chitta; Tran, Nam; Mcilraith, Sheila
5
2006
Hypothesizing about signaling networks. Zbl 1168.92002
Tran, Nam; Baral, Chitta
4
2009
Reasoning about non-immediate triggers in biological networks. Zbl 1137.68603
Tran, Nam; Baral, Chitta
2
2007
A formal proof of the Kepler conjecture. Zbl 1379.52018
Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland
11
2017
Hypothesizing about signaling networks. Zbl 1168.92002
Tran, Nam; Baral, Chitta
4
2009
Reasoning about non-immediate triggers in biological networks. Zbl 1137.68603
Tran, Nam; Baral, Chitta
2
2007
Domain-dependent knowledge in answer set planning. Zbl 1367.68271
Son, Tran Cao; Baral, Chitta; Tran, Nam; Mcilraith, Sheila
5
2006

Citations by Year