64 citations · 592 across the 44 of their papers we have counts for
4 papers · 1 filter
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
Erika Abraham, James H. Davenport, Matthew England +1
We discuss the topic of unsatisfiability proofs in SMT, particularly with reference to quantifier free non-linear real arithmetic. We outline how the methods here do not admit triv…
ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods
Akhilesh Pai, James Harold Davenport
While there are numerous linear algebra teaching tools, they tend to be focused on the basics, and not handle the more advanced aspects. This project aims to fill that gap, focusin…
Digital Collections of Examples in Mathematical Sciences
James Harold Davenport
Some aspects of Computer Algebra (notably Computation Group Theory and Computational Number Theory) have some good databases of examples, typically of the form "all the X up to siz…
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
R. Bradford, J. H. Davenport, M. England +2
This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project see…