Groebner bases of reaction networks with intermediate species. - AmirHosein Sadeghimanesh; Elisenda Feliu (CoRR, 2018)

Gröbner bases of reaction networks with intermediate species. - AmirHosein Sadeghimanesh; Elisenda Feliu (Adv. Appl. Math., 2019)

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; AmirHosein Sadeghimanesh; Ali Kemal Uncu (ACM Commun. Comput. Algebra, 2021)

Exotic Bifurcations in Three Connected Populations with Allee Effect. - Gergely Röst; AmirHosein Sadeghimanesh (Int. J. Bifurc. Chaos, 2021)

Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. - AmirHosein Sadeghimanesh; Matthew England 001 (BMC Bioinform., 2022)

An SMT solver for non-linear real arithmetic inside maple. - AmirHosein Sadeghimanesh; Matthew England 001 (ACM Commun. Comput. Algebra, 2022)

Resultant Tools for Parametric Polynomial Systems with Application to Population Models. - AmirHosein Sadeghimanesh; Matthew England 001 (CoRR, 2022)

Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations. - Elisenda Feliu; AmirHosein Sadeghimanesh (Math. Comput., 2022)

Clustering in the Lazard method for Cylindrical Algebraic Decomposition. - Tereso del Río; AmirHosein Sadeghimanesh; Matthew England 001 (ACM Commun. Comput. Algebra, 2023)