AmirHosein Sadeghimanesh

Available identifiers

zbMath Open sadeghimanesh.amirhoseinMaRDI QIDQ2002117

List of research outcomes

Publication	Date of Publication	Type
Clustering in the Lazard method for cylindrical algebraic decomposition	2024-05-13	Paper
An SMT solver for non-linear real arithmetic inside maple	2023-08-02	Paper
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations	2022-09-08	Paper
The DEWCAD project	2022-09-06	Paper
Exotic Bifurcations in Three Connected Populations with Allee Effect	2021-10-26	Paper
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks	2020-03-17	Paper
The multistationarity structure of networks with intermediates and a binomial core network	2019-07-11	Paper
Gröbner bases of reaction networks with intermediate species	2019-06-21	Paper

Research outcomes over time

This page was built for person: AmirHosein Sadeghimanesh