James Harold Davenport

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 7

Top Topics

Cover Inequalities

Quantifier Elimination

Digital Collections

Top Venues

Publications

James Harold Davenport
Proving an Execution of an Algorithm Correct? CICM (2023)
James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu
Lazard-style CAD and Equational Constraints. ISSAC (2023)
Akhilesh Pai, James Harold Davenport
ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods. CoRR (2021)
James Harold Davenport
Digital Collections of Examples in Mathematical Sciences. CoRR (2021)
James Harold Davenport, James Grant, Catherine Mary Jones
Data Without Software Are Just Numbers. Data Sci. J. 19 (2020)
James Harold Davenport, Temur Kutsia
Symbolic computation in software science. J. Symb. Comput. 90 (2019)
Casey B. Mulligan, James Harold Davenport, Matthew England
TheoryGuru: A Mathematica Package to apply Quantifier Elimination. CoRR (2018)
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson
Branch Cuts in Maple 17. CoRR (2013)
James Harold Davenport, Jacques Carette
The Sparsity Challenges. SYNASC (2009)