research
∙
01/22/2022
ODEbase: A Repository of ODE Systems for Systems Biology
Recently, symbolic computation and computer algebra systems have been su...
share
research
∙
10/20/2020
Algorithmic Reduction of Biological Networks With Multiple Time Scales
We present a symbolic algorithmic approach that allows to compute invari...
research
∙
04/15/2020
Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers
A novel way to use SMT (Satisfiability Modulo Theories) solvers to compu...
research
∙
04/15/2020