Edit Profile Adams, Mark Compute Distance To: Compute Author ID: adams.mark Published as: Adams, M.; Adams, Mark Documents Indexed: 11 Publications since 1986, including 1 Book all top 5 Co-Authors 2 single-authored 2 Obua, Steven 1 Aspinall, David 1 Bauer, Gertrud 1 Dang, Tat Dat 1 Hales, Thomas Callister 1 Harrison, John 1 Hoang, Le Truong 1 Kaliszyk, Cezary 1 Magron, Victor 1 McLaughlin, Sean 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Nipkow, Tobias 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 1 Zumkeller, Roland Serials 1 Forum of Mathematics, Pi Fields 4 Computer science (68-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 6 Publications have been cited 23 times in 23 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 Subcodes and covering radius. Zbl 0619.94011Adams, M. 4 1986 Flyspecking flyspeck. Zbl 1403.68220Adams, Mark 3 2014 Parallel multigrid solvers for 3D-unstructured large deformation elasticity and plasticity finite element problems. Zbl 0981.74059Adams, Mark; Taylor, R. L. 3 2000 Capturing hiproofs in HOL light. Zbl 1390.68583Obua, Steven; Adams, Mark; Aspinall, David 1 2013 Mono-implicit Runge-Kutta-Nyström methods with application to boundary value ordinary differential equations. Zbl 0996.65076Muir, P. H.; Adams, M. 1 2001 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 Flyspecking flyspeck. Zbl 1403.68220Adams, Mark 3 2014 Capturing hiproofs in HOL light. Zbl 1390.68583Obua, Steven; Adams, Mark; Aspinall, David 1 2013 Mono-implicit Runge-Kutta-Nyström methods with application to boundary value ordinary differential equations. Zbl 0996.65076Muir, P. H.; Adams, M. 1 2001 Parallel multigrid solvers for 3D-unstructured large deformation elasticity and plasticity finite element problems. Zbl 0981.74059Adams, Mark; Taylor, R. L. 3 2000 Subcodes and covering radius. Zbl 0619.94011Adams, M. 4 1986 all cited Publications top 5 cited Publications all top 5 Cited by 77 Authors 2 Kaliszyk, Cezary 2 Nipkow, Tobias 1 Adams, Mark 1 Alt, Helmut 1 Aransay, Jesús 1 Bancerek, Grzegorz 1 Bauer, Gertrud 1 Bhandari, Mahesh Chandra 1 Biotteau, Ewen 1 Bogoşel, Beniamin 1 Brualdi, Richard Anthony 1 Buchin, Kevin 1 Bucur, Dorin 1 Byliński, Czesław 1 Calderbank, Arthur Robert 1 Chaplick, Steven 1 Cheong, Otfried 1 Combescure, Alain 1 Dang, Tat Dat 1 Divasón, Jose 1 Fishburn, Peter Clingerman 1 Fragalà, Ilaria 1 Ganesalingam, Mohan 1 Gaonkar, A. K. 1 Garg, M. S. 1 Gowers, William Timothy 1 Grabowski, Adam 1 Gravouil, Anthony 1 Grayson, Daniel Richard 1 Guan, Yong 1 Gunther, Emmanuel 1 Hales, Thomas Callister 1 Harland, James A. 1 Harrison, John 1 Hoang, Le Truong 1 Holmes, Kathryn 1 Kindermann, Philipp 1 Knauer, Christian 1 Köppe, Matthias 1 Korniłowicz, Artur 1 Kulkarni, Shailesh S. 1 Li, Liming 1 Li, Yongdong 1 Lubrecht, A. A. 1 Mackerle, Jaroslav 1 Magron, Victor 1 Matuszewski, Roman 1 McLaughlin, Sean 1 Naumowicz, Adam 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Novikov, O. A. 1 Obua, Steven 1 Pagano, Miguel 1 Pąk, Karol 1 Paulson, Lawrence Charles 1 Pleso, Joseph 1 Pless, Vera S. 1 Rabe, Florian 1 Rovenskaya, O. G. 1 Rute, Jason 1 Sánchez Terraf, Pedro 1 Shi, Zhiping 1 Sloane, Neil James Alexander 1 Solovyev, Alexey 1 Stehn, Fabian 1 Ta Thi Hoai An 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Urban, Josef 1 Van Daele, Marnix 1 Van Hecke, Tanja 1 Vu, Ky Minh 1 Wenzel, Makarius 1 Zhang, Qianying 1 Zhou, Yuan 1 Zumkeller, Roland all top 5 Cited in 14 Serials 4 Journal of Automated Reasoning 2 Discrete Mathematics 1 Discrete Applied Mathematics 1 Applied Mathematics and Optimization 1 International Journal for Numerical Methods in Engineering 1 Journal of Combinatorial Theory. Series A 1 Theoretical Computer Science 1 Applied Numerical Mathematics 1 Computational Mechanics 1 Formal Aspects of Computing 1 Bulletin of the American Mathematical Society. New Series 1 Engineering Computations 1 Chebyshevskiĭ Sbornik 1 Forum of Mathematics, Pi all top 5 Cited in 15 Fields 11 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 4 Information and communication theory, circuits (94-XX) 3 Numerical analysis (65-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of deformable solids (74-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year