Amirhosein Sadeghimanesh

Coventry University | CU · Center for Computational Science and Mathematical Modelling

We report on work-in-progress to create an SMT-solver inside Maple for non-linear real arithmetic (NRA). We give background information on the algorithm being implemented: cylindrical algebraic coverings as a theory solver in the lazy SMT paradigm. We then present some new work on the identification of minimal conflicting cores from the coverings.

In this paper we introduce a new representation for the multistationarity region of a reaction network, using polynomial superlevel sets. The advantages of using this polynomial superlevel set representation over the already existing representations (cylindrical algebraic decompositions, numeric sampling, rectangular divisions) is discussed, and al...

We are concerned with the problem of decomposing the parameter space of a parametric system of polynomial equations, and possibly some polynomial inequality constraints, with respect to the number of real solutions that the system attains. Previous studies apply a two step approach to this problem, where first the discriminant variety of the system...

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 and the dispersal rate, describing the bifurcations at each critical point where the number of steady states change. One may expect that by increasing the dispersal rate...

seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the de...

In this note we consider two populations living on identical patches, connected by unidirectional migration, and subject to strong Allee effect. We show that by increasing the migration rate, there are more bifurcation sequences than previous works showed. In particular, the number of steady states can change from 9 (small migration) to 3 (large mi...

seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the de...

We consider three connected populations with Allee effect, and give a complete classification of the steady state structure of the system with respect to the Allee threshold and the dispersal rate, describing the bifurcations at each critical point where the number of steady states change. One may expect that by increasing the dispersal rate betwee...

Kac-Rice formulas express the expected number of elements a fiber of a random field has in terms of a multivariate integral. We consider here parametrized systems of polynomial equations that are linear in enough parameters, and provide a Kac-Rice formula for the expected number of solutions of the system when the parameters follow continuous distr...

In this work a new representation of the multistationarity region of reaction networks is introduced using the polynomial superlevel sets. The advantages of using the polynomial superlevel set representation to the former existing representations such as CAD, the finite and the grid representations are discussed. And finally the algorithms to compu...

This work addresses whether a reaction network, taken with mass-action kinetics, is multistationary, that is, admits more than one positive steady state in some stoichiometric compatibility class. We build on previous work on the effect that removing or adding intermediates has on multistationarity, and also on methods to detect multistationarity f...

This work addresses whether a reaction network, taken with mass-action kinetics, is multistationary, that is, admits more than one positive steady state in some stoichiometric compatibility class. We build on previous work on the effect that removing or adding intermediates has on multistationarity, and also on methods to detect multistationarity f...

In this work we consider the computation of Groebner bases of the steady state ideal of reaction networks equipped with mass-action kinetics. Specifically, we focus on the role of intermediate species and the relation between the extended network (with intermediate species) and the core network (without intermediate species). We show that a Groebne...