AmirHosein Sadeghimanesh

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Polynomial Equations

Chemical Reaction

Methods In Computer Vision

Top Venues

ACM Commun. Comput. Algebra

Int. J. Bifurc. Chaos

Publications

Tereso del Río, AmirHosein Sadeghimanesh, Matthew England
Clustering in the Lazard method for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57 (3) (2023)
AmirHosein Sadeghimanesh, Matthew England
Resultant Tools for Parametric Polynomial Systems with Application to Population Models. CoRR (2022)
AmirHosein Sadeghimanesh, Matthew England
An SMT solver for non-linear real arithmetic inside maple. ACM Commun. Comput. Algebra 56 (2) (2022)
Elisenda Feliu, AmirHosein Sadeghimanesh
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations. Math. Comput. 91 (338) (2022)
AmirHosein Sadeghimanesh, Matthew England
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. BMC Bioinform. 23 (1) (2022)
Gergely Röst, AmirHosein Sadeghimanesh
Exotic Bifurcations in Three Connected Populations with Allee Effect. Int. J. Bifurc. Chaos 31 (13) (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra 55 (3) (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR (2021)
Elisenda Feliu, AmirHosein Sadeghimanesh
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations. CoRR (2020)
AmirHosein Sadeghimanesh, Elisenda Feliu
Gröbner bases of reaction networks with intermediate species. Adv. Appl. Math. 107 (2019)
AmirHosein Sadeghimanesh, Elisenda Feliu
Groebner bases of reaction networks with intermediate species. CoRR (2018)