Mark Adams

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 9

Top Topics

Scientific Data Analysis

Top Venues

Numer. Algorithms

Publications

Mark Adams, Paul H. Muir
Differential equation software for the computation of error-controlled continuous approximate solutions. Numer. Algorithms 96 (3) (2024)
Nathan Martindale, Jason Hite, Scott Stewart, Mark Adams
Design of a Scientific Data Analysis Support Platform. SciPy (2022)
Mark Adams, Connor Tannahill, Paul H. Muir
Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEs. Numer. Algorithms 81 (4) (2019)
Mark Adams, Justin Bisceglio
Up close with simulated crowds. SIGGRAPH Talks (2018)
Mark Adams, Vijay K. Bhargava
Using friendly jamming to improve route security and quality in ad hoc networks. CCECE (2017)
Greg Mourino, Mason Evans, Kevin Edzenga, Svetla Cavaleri, Mark Adams, Justin Bisceglio
. SIGGRAPH Talks (2017)
Mark Adams, Vijay K. Bhargava
Use of the Recursive Least Squares Filter for Self Interference Channel Estimation. VTC Fall (2016)
Mark Adams
HOL Zero's Solutions for Pollack-Inconsistency. ITP (2016)
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
Formal Methods in Collaborative Projects. ENASE (2016)
Mark Adams, Greg Mourino, Mason Evans, Kevin Edzenga
. SIGGRAPH Talks (2015)
Mark Adams
Refactoring Proofs with Tactician. SEFM Workshops (2015)
Mark Adams
The Common HOL Platform. PxTP@CADE (2015)
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
A formal proof of the Kepler conjecture. CoRR (2015)
Sean Palmer, Eric Maurer, Mark Adams
Using sparse voxel octrees in a level-of-detail pipeline for Rio 2. SIGGRAPH Talks (2014)
Mark Adams
Flyspecking Flyspeck. ICMS (2014)
Steven Obua, Mark Adams, David Aspinall
Capturing Hiproofs in HOL Light. CoRR (2013)
Steven Obua, Mark Adams, David Aspinall
Capturing Hiproofs in HOL Light. MKM/Calculemus/DML (2013)
Thierry Dervieux-Lecocq, David Gatenby, Mark Adams, Justin Bisceglio
. SIGGRAPH Talks (2013)
Mark Adams
Introducing HOL Zero - (Extended Abstract). ICMS (2010)
James Bickford, Sean George, John Manobianco, Mark Adams, Donna Manobianco
Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars Exploration. Evolvable Hardware (2005)
Mark Adams
The sequence of the human genome (abstract only). RECOMB (2001)
Mark Adams, Jim Demmel
Parallel Multigrid Solver for 3D Unstructured Finite Element Problems. SC (1999)