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
∙
02/12/2019
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets
Long non-coding RNAs (lncRNAs) are a class of non-coding RNAs which play...
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
∙
06/28/2018
Machine Learning for Mathematical Software
While there has been some discussion on how Symbolic Computation could b...
research
∙
07/27/2016
Satisfiability Checking meets Symbolic Computation (Project Paper)
Symbolic Computation and Satisfiability Checking are two research areas,...
research
∙
07/23/2016