19 citations · 31 across the 9 of their papers we have counts for
9 papers
Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm
Uzma Shafiq, Matthew England, AmirHosein Sadeghimanesh +1
We present a novel S-pair selection strategy called Homogeneity Entropy, for deciding the sequence of S-polynomials to construct in Buchberger's algorithm to compute a Groebner bas…
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
Abiola Babatunde, Matthew England, AmirHosein Sadeghimanesh
The Conflict-Driven Cylindrical Algebraic Covering algorithm has proven well suited for performing theory validation checks in the satisfiability modulo theories paradigm for non-l…
Understanding Multistationarity of Fully Open Reaction Networks
Shenghao Yao, AmirHosein Sadeghimanesh, Matthew England
This work addresses multistationarity of fully open reaction networks equipped with mass action kinetics. We improve upon the existing results relating existence of positive feedba…
Resultant Tools for Parametric Polynomial Systems with Application to Mathematical Biology
AmirHosein Sadeghimanesh, Matthew England
To decompose the parameter space of a parametric system of polynomial equations with respect to the number of real solutions that the system attains, first the discriminant variety…
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
R. Bradford, J. H. Davenport, M. England +2
This abstract 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 see…
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations
Elisenda Feliu, AmirHosein Sadeghimanesh
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 equ…
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
AmirHosein Sadeghimanesh, Matthew England
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 su…
The multistationarity structure of networks with intermediates and a binomial core network
AmirHosein Sadeghimanesh, Elisenda Feliu
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 comp…
Groebner bases of reaction networks with intermediate species
AmirHosein Sadeghimanesh, Elisenda Feliu
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…