Amirhosein Sadeghimanesh

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

Doctor of Philosophy

About

13
Publications
575
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
47
Citations
Citations since 2017
13 Research Items
47 Citations
201720182019202020212022202302468101214
201720182019202020212022202302468101214
201720182019202020212022202302468101214
201720182019202020212022202302468101214
Introduction
I am a Persian Mathematician. Academic interests: Applied and Computational Algebraic Geometry, Computer Algebra, Mathematical Biology, Chemical Reaction Network Theory, Population Dynamics.
Additional affiliations
January 2020 - December 2020
University of Szeged
Position
  • Research Fellow
Description
  • Project title: Nonlinear Dynamics in the Mathematical Models of Cell Biology Mentor: Gergely Röst.
May 2019 - December 2019
University of Copenhagen
Position
  • PostDoc Position
Description
  • Mathematics of Chemical Reaction Networks. Mentor: Elisenda Feliu.
September 2018 - October 2018
University of Copenhagen
Position
  • PostDoc Position
Description
  • Mathematics of Chemical Reaction Networks. Mentor: Elisenda Feliu.
Education
September 2015 - August 2018
University of Copenhagen
Field of study
  • Applied Algebraic Geometry in Biology
September 2012 - September 2014
Institute for Advanced Studies in Basic Sciences
Field of study
  • Pure Mathematics (Algebraic Geometry)
September 2008 - June 2012
University of Qom
Field of study
  • Pure Mathematics

Publications

Publications (13)
Article
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.
Article
Full-text available
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...
Preprint
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...
Article
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...
Article
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...
Preprint
Full-text available
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...
Preprint
Full-text available
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...
Preprint
Full-text available
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...
Preprint
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...
Preprint
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...
Article
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...
Preprint
Full-text available
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...
Article
Full-text available
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...

Network

Cited By