×

zbMATH — the first resource for mathematics

Adams, Mark

Compute Distance To:
Author ID: adams.mark Recent zbMATH articles by "Adams, Mark"
Published as: Adams, M.; Adams, Mark
Documents Indexed: 11 Publications since 1986, including 1 Book

Publications by Year

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.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
Subcodes and covering radius. Zbl 0619.94011
Adams, M.
4
1986
Flyspecking flyspeck. Zbl 1403.68220
Adams, Mark
3
2014
Parallel multigrid solvers for 3D-unstructured large deformation elasticity and plasticity finite element problems. Zbl 0981.74059
Adams, Mark; Taylor, R. L.
3
2000
Capturing hiproofs in HOL light. Zbl 1390.68583
Obua, Steven; Adams, Mark; Aspinall, David
1
2013
Mono-implicit Runge-Kutta-Nyström methods with application to boundary value ordinary differential equations. Zbl 0996.65076
Muir, P. H.; Adams, M.
1
2001
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
Flyspecking flyspeck. Zbl 1403.68220
Adams, Mark
3
2014
Capturing hiproofs in HOL light. Zbl 1390.68583
Obua, Steven; Adams, Mark; Aspinall, David
1
2013
Mono-implicit Runge-Kutta-Nyström methods with application to boundary value ordinary differential equations. Zbl 0996.65076
Muir, P. H.; Adams, M.
1
2001
Parallel multigrid solvers for 3D-unstructured large deformation elasticity and plasticity finite element problems. Zbl 0981.74059
Adams, Mark; Taylor, R. L.
3
2000
Subcodes and covering radius. Zbl 0619.94011
Adams, M.
4
1986

Citations by Year