
Deciding the Consistency of NonLinear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
We present a new algorithm for determining the satisfiability of conjunc...
read it

Formal Methods and CyberSecurity
Formal methods have been largely thought of in the context of safetycri...
read it

A UK Case Study on Cybersecurity Education and Accreditation
This paper presents a national case studybased analysis of the numerous...
read it

Cylindrical Algebraic Decomposition with Equational Constraints
Cylindrical Algebraic Decomposition (CAD) has long been one of the most ...
read it

Quantifier Elimination for Reasoning in Economics
We consider the use of Quantifier Elimination (QE) technology for automa...
read it

Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...
read it

OpenMath and SMTLIB
OpenMath and SMTLIB are languages with very different origins, but both...
read it

The Potential and Challenges of CAD with Equational Constraints for SCSquare
Cylindrical algebraic decomposition (CAD) is a core algorithm within Sym...
read it

A Case Study on the Parametric Occurrence of Multiple Steady States
We consider the problem of determining multiple steady states for positi...
read it

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition
In the paper which inspired the SCSquare project, [E. Abraham, Building...
read it

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...
read it

Need Polynomial Systems be Doublyexponential?
Polynomial Systems, or at least their algorithms, have the reputation of...
read it

The complexity of cylindrical algebraic decomposition with respect to polynomial degree
Cylindrical algebraic decomposition (CAD) is an important tool for worki...
read it
James H. Davenport
is this you? claim profile