research
∙
06/16/2021
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
This abstract seeks to introduce the ISSAC community to the DEWCAD proje...
share
research
∙
02/13/2019
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
We consider a problem from biological network analysis of determining re...
research
∙
06/28/2018
TheoryGuru: A Mathematica Package to apply Quantifier Elimination
We consider the use of Quantifier Elimination (QE) technology for automa...
research
∙
06/28/2018
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
We consider problems originating in economics that may be solved automat...
research
∙
03/11/2018
Regular cylindrical algebraic decomposition
We show that a strong well-based cylindrical algebraic decomposition P o...
research
∙
07/27/2016
Satisfiability Checking meets Symbolic Computation (Project Paper)
Symbolic Computation and Satisfiability Checking are two research areas,...
research
∙
07/23/2016