Chaos as an interpretable benchmark for forecasting and data-driven modelling
W Gilpin - arXiv preprint arXiv:2110.05266, 2021 - arxiv.org
The striking fractal geometry of strange attractors underscores the generative nature of
chaos: like probability distributions, chaotic systems can be repeatedly measured to produce …
chaos: like probability distributions, chaotic systems can be repeatedly measured to produce …
Computing tropical prevarieties with satisfiability modulo theories (SMT) solvers
C Lüders - arXiv preprint arXiv:2004.07058, 2020 - arxiv.org
A novel way to use SMT (Satisfiability Modulo Theories) solvers to compute the tropical
prevariety (resp. equilibrium) of a polynomial system is presented. The new method is …
prevariety (resp. equilibrium) of a polynomial system is presented. The new method is …
Analysis of the Conradi-Kahle algorithm for detecting binomiality on biological models
We analyze the Conradi-Kahle Algorithm for detecting binomiality. We present experiments
using two implementations of the algorithm in Macaulay2 and Maple on biological models …
using two implementations of the algorithm in Macaulay2 and Maple on biological models …
Symbolic Methods for Biological Networks D2. 1 Report on Scalable Methods for Tropical Solutions (T1. 2)
Tropical geometry can be used to find the order of time scales of variables in chemical
reaction networks and search for model reductions [SGF+ 15]. In this report, we consider the …
reaction networks and search for model reductions [SGF+ 15]. In this report, we consider the …