Edit Profile Obua, Steven Compute Distance To: Compute Author ID: obua.steven Published as: Obua, Steven Documents Indexed: 10 Publications since 2005 all top 5 Co-Authors 4 single-authored 3 Nipkow, Tobias 2 Adams, Mark 2 Aspinall, David 2 Fleuriot, Jacques D. 2 Hales, Thomas Callister 2 McLaughlin, Sean 2 Scott, Phil 2 Zumkeller, Roland 1 Bauer, Gertrud 1 Dang, Tat Dat 1 Harrison, John 1 Harrison, John W. 1 Hoang, Le Truong 1 Kaliszyk, Cezary 1 Magron, Victor 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Pleso, Joseph 1 Rute, Jason 1 Solovyev, Alexey 1 Ta Thi Hoai An 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Urban, Josef 1 Vu, Ky Minh Serials 1 Discrete & Computational Geometry 1 Annals of Mathematics and Artificial Intelligence 1 Forum of Mathematics, Pi Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Convex and discrete geometry (52-XX) 2 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 9 Publications have been cited 61 times in 48 Documents Cited by ▼ Year ▼ A revision of the proof of the Kepler conjecture. Zbl 1195.52004Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland 14 2010 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 Flyspeck II: The basic linear programs. Zbl 1184.68465Obua, Steven; Nipkow, Tobias 11 2009 Proving bounds for real linear programs in Isabelle/HOL. Zbl 1152.68531Obua, Steven 8 2005 Partizan games in Isabelle/HOLZF. Zbl 1168.68543Obua, Steven 6 2006 Checking conservativity of overloaded definitions in higher-order logic. Zbl 1151.68637Obua, Steven 5 2006 Type inference for ZFH. Zbl 1417.68191Obua, Steven; Fleuriot, Jacques; Scott, Phil; Aspinall, David 3 2015 Proof pearl: Looping around the orbit. Zbl 1144.68363Obua, Steven 2 2007 Capturing hiproofs in HOL light. Zbl 1390.68583Obua, Steven; Adams, Mark; Aspinall, David 1 2013 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 Type inference for ZFH. Zbl 1417.68191Obua, Steven; Fleuriot, Jacques; Scott, Phil; Aspinall, David 3 2015 Capturing hiproofs in HOL light. Zbl 1390.68583Obua, Steven; Adams, Mark; Aspinall, David 1 2013 A revision of the proof of the Kepler conjecture. Zbl 1195.52004Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland 14 2010 Flyspeck II: The basic linear programs. Zbl 1184.68465Obua, Steven; Nipkow, Tobias 11 2009 Proof pearl: Looping around the orbit. Zbl 1144.68363Obua, Steven 2 2007 Partizan games in Isabelle/HOLZF. Zbl 1168.68543Obua, Steven 6 2006 Checking conservativity of overloaded definitions in higher-order logic. Zbl 1151.68637Obua, Steven 5 2006 Proving bounds for real linear programs in Isabelle/HOL. Zbl 1152.68531Obua, Steven 8 2005 all cited Publications top 5 cited Publications all top 5 Cited by 116 Authors 7 Nipkow, Tobias 5 Kaliszyk, Cezary 4 Hales, Thomas Callister 4 Obua, Steven 3 Aransay, Jesús 3 McLaughlin, Sean 3 Pąk, Karol 3 Paulson, Lawrence Charles 2 Divasón, Jose 2 Gonthier, Georges 2 Guan, Yong 2 Kunčar, Ondřej 2 Popescu, Andrei 2 Rubio García, Julio Jesús 2 Shi, Zhiping 2 Solovyev, Alexey 2 Urban, Josef 2 Wenzel, Makarius 2 Zumkeller, Roland 1 Adams, Mark 1 Adams, Mark F. 1 Allamigeon, Xavier 1 Alt, Helmut 1 Asperti, Andrea 1 Ballarin, Clemens 1 Bancerek, Grzegorz 1 Barthe, Gilles 1 Bauer, Gertrud 1 Bertot, Yves 1 Bogoşel, Beniamin 1 Bourne, David P. 1 Brown, Chad Edward 1 Buchin, Kevin 1 Bucur, Dorin 1 Budzyńska, Katarzyna 1 Bulwahn, Lukas 1 Byliński, Czesław 1 Chaplick, Steven 1 Cheong, Otfried 1 Corneli, Joseph 1 Dang, Tat Dat 1 Domínguez, César 1 Elser, Veit 1 Erkök, Levent 1 Fleuriot, Jacques D. 1 Foster, Simon 1 Fragalà, Ilaria 1 Freitas, Leo 1 Fulla, Marlon 1 Gallego, Edisson 1 Ganesalingam, Mohan 1 Gengelbach, Arve 1 Gómez-Ramírez, Danny Arlen de Jesús 1 Gowers, William Timothy 1 Grabowski, Adam 1 Gravel, Simon 1 Grayson, Daniel Richard 1 Grégoire, Benjamin 1 Gunther, Emmanuel 1 Haftmann, Florian 1 Harrison, John 1 Harrison, John R. 1 Harrison, John W. 1 Hoang, Le Truong 1 Holmes, Kathryn 1 Kallus, Yoav 1 Katz, Ricardo David 1 Kindermann, Philipp 1 Knauer, Christian 1 Konev, Boris 1 Köppe, Matthias 1 Korniłowicz, Artur 1 Krauss, Alexander 1 Lakhnech, Yassine 1 Lawrence, John C. 1 Li, Liming 1 Li, Yongdong 1 Lisitsa, Alexei 1 Liu, Zhenke 1 Magron, Victor 1 Matthews, John W. 1 Matuszewski, Roman 1 Naumowicz, Adam 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Ould Biha, Sidi 1 Pagano, Miguel 1 Paşca, Ioana 1 Pease, Alison 1 Peletier, Mark Adriaan 1 Pleso, Joseph 1 Rabe, Florian 1 Reed, Chris 1 Rivera, Ismael 1 Rute, Jason 1 Sacerdoti Coen, Claudio 1 Sánchez Terraf, Pedro 1 Scott, Phil 1 Stehn, Fabian 1 Ta Thi Hoai An ...and 16 more Authors all top 5 Cited in 15 Serials 13 Journal of Automated Reasoning 2 Artificial Intelligence 2 Discrete & Computational Geometry 2 Formal Aspects of Computing 1 Communications in Mathematical Physics 1 Applied Mathematics and Optimization 1 Theoretical Computer Science 1 Journal of the American Mathematical Society 1 Bulletin of the American Mathematical Society. New Series 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Mathematics 1 JP Journal of Algebra, Number Theory and Applications 1 Journal of Formalized Reasoning 1 Forum of Mathematics, Pi 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 19 Fields 40 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 6 Convex and discrete geometry (52-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year