AmirHosein Sadeghimanesh

According to our database, AmirHosein Sadeghimanesh authored at least 10 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons.

Abiola Babatunde, Matthew England, AmirHosein Sadeghimanesh

CoRR, January, 2026

2023

Clustering in the Lazard method for Cylindrical Algebraic Decomposition.

Tereso del Río, AmirHosein Sadeghimanesh, Matthew England

ACM Commun. Comput. Algebra, September, 2023

2022

Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations.

Elisenda Feliu, AmirHosein Sadeghimanesh

Math. Comput., 2022

Resultant Tools for Parametric Polynomial Systems with Application to Population Models.

AmirHosein Sadeghimanesh, Matthew England

CoRR, 2022

An SMT solver for non-linear real arithmetic inside maple.

AmirHosein Sadeghimanesh, Matthew England

ACM Commun. Comput. Algebra, 2022

Polynomial superlevel set representation of the multistationarity region of chemical reaction networks.

AmirHosein Sadeghimanesh, Matthew England

BMC Bioinform., 2022

2021

Exotic Bifurcations in Three Connected Populations with Allee Effect.

Gergely Röst, AmirHosein Sadeghimanesh

Int. J. Bifurc. Chaos, 2021

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu

ACM Commun. Comput. Algebra, 2021

2019

Gröbner bases of reaction networks with intermediate species.

AmirHosein Sadeghimanesh, Elisenda Feliu

Adv. Appl. Math., 2019

2018

Groebner bases of reaction networks with intermediate species.

AmirHosein Sadeghimanesh, Elisenda Feliu

CoRR, 2018