Edit Profile Vu, Ky Minh Compute Distance To: Compute Author ID: vu.ky-minh Published as: Vu, K. Minh; Vu, Ky; Vu, Ky M.; Vu, Ky Minh Documents Indexed: 6 Publications since 1988 Co-Authors 4 single-authored 1 Stanimirović, Predrag S. 1 Tasić, Milan B. Serials 2 International Journal of Systems Science 1 International Journal of Control 1 Applied Mathematics and Computation 1 IEE Proceedings. Part D. Control Theory and Applications Fields 3 Systems theory; control (93-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 14 times in 14 Documents Cited by ▼ Year ▼ A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, 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 Extensions of Faddeev’s algorithms to polynomial matrices. Zbl 1188.65028Stanimirović, Predrag S.; Tasić, Milan B.; Vu, Ky M. 2 2009 Linear time series variance. Zbl 0637.62082Vu, Ky Minh 1 1988 A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, 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 Extensions of Faddeev’s algorithms to polynomial matrices. Zbl 1188.65028Stanimirović, Predrag S.; Tasić, Milan B.; Vu, Ky M. 2 2009 Linear time series variance. Zbl 0637.62082Vu, Ky Minh 1 1988 all top 5 Cited by 39 Authors 2 Sendra, Juan Rafael 2 Sendra, Juana 1 Alt, Helmut 1 Aransay, Jesús 1 Bancerek, Grzegorz 1 Bogoşel, Beniamin 1 Buchin, Kevin 1 Bucur, Dorin 1 Byliński, Czesław 1 Chaplick, Steven 1 Cheong, Otfried 1 Divasón, Jose 1 Fragalà, Ilaria 1 Ganesalingam, Mohan 1 Gowers, William Timothy 1 Grabowski, Adam 1 Grayson, Daniel Richard 1 Guan, Yong 1 Gunther, Emmanuel 1 Holmes, Kathryn 1 Kindermann, Philipp 1 Knauer, Christian 1 Köppe, Matthias 1 Korniłowicz, Artur 1 Li, Liming 1 Li, Yongdong 1 Matuszewski, Roman 1 Naumowicz, Adam 1 Nipkow, Tobias 1 Pagano, Miguel 1 Pąk, Karol 1 Paulson, Lawrence Charles 1 Sánchez Terraf, Pedro 1 Shi, Zhiping 1 Stehn, Fabian 1 Vu, Ky Minh 1 Wenzel, Makarius 1 Zhang, Qianying 1 Zhou, Yuan all top 5 Cited in 7 Serials 4 Journal of Automated Reasoning 1 International Journal of Systems Science 1 Applied Mathematics and Computation 1 Applied Mathematics and Optimization 1 Journal of Computational and Applied Mathematics 1 Formal Aspects of Computing 1 Bulletin of the American Mathematical Society. New Series all top 5 Cited in 13 Fields 10 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Commutative algebra (13-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year