AmirHosein Sadeghimanesh

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons.
CoRR
Abiola Babatunde, Matthew England, AmirHosein Sadeghimanesh
2023 J jnl
Clustering in the Lazard method for Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra
Tereso del Río, AmirHosein Sadeghimanesh, Matthew England
2022 J jnl
An SMT solver for non-linear real arithmetic inside maple.
ACM Commun. Comput. Algebra
AmirHosein Sadeghimanesh, Matthew England
2022 J jnl
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations.
Math. Comput.
Elisenda Feliu, AmirHosein Sadeghimanesh
2022 J jnl
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks.
BMC Bioinform.
AmirHosein Sadeghimanesh, Matthew England
2022 J jnl
Resultant Tools for Parametric Polynomial Systems with Application to Population Models.
CoRR
AmirHosein Sadeghimanesh, Matthew England
2021 J jnl
Exotic Bifurcations in Three Connected Populations with Allee Effect.
Int. J. Bifurc. Chaos
Gergely Röst, AmirHosein Sadeghimanesh
2021 J jnl
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2021 J jnl
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.
ACM Commun. Comput. Algebra
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2020 J jnl
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations.
CoRR
Elisenda Feliu, AmirHosein Sadeghimanesh
2019 J jnl
Gröbner bases of reaction networks with intermediate species.
Adv. Appl. Math.
AmirHosein Sadeghimanesh, Elisenda Feliu
2018 J jnl
Groebner bases of reaction networks with intermediate species.
CoRR
AmirHosein Sadeghimanesh, Elisenda Feliu