The paper has two goals:(1) It presents basic ideas, notions, and methods for reduction of
reaction kinetics models: quasi-steady-state, quasi-equilibrium, slow invariant manifolds …

Abstract Cylindrical Algebraic Decomposition (CAD) has long been one of the most
important algorithms within Symbolic Computation, as a tool to perform quantifier elimination …

We consider a problem from biological network analysis of determining regions in a
parameter space over which there are multiple steady states for positive real values of …

There has been recent interest in the use of machine learning (ML) approaches within
mathematical software to make choices that impact on the computing performance without …

Abstract Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic
geometry, best known as a procedure to enable Quantifier Elimination over real-closed …

There are a variety of choices to be made in both computer algebra systems (CASs) and
satisfiability modulo theory (SMT) solvers which can impact performance without affecting …

This essay reviews some key concepts in mathematical epidemiology and examines the
intersection of this field with related scientific disciplines, such as chemical reaction network …

We present a symbolic algorithmic approach that allows to compute invariant manifolds and
corresponding reduced systems for differential equations modeling biological networks …

The dynamics of the system of two bodies, connected by a spherical hinge, that moves along
a circular orbit under the action of gravitational torque is investigated. Computer algebra …

We consider three connected populations with strong Allee effect, and give a complete
classification of the steady state structure of the system with respect to the Allee threshold …