AmirHosein Sadeghimanesh
From MaRDI portal
Person:2002117
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Clustering in the Lazard method for cylindrical algebraic decomposition ACM Communications in Computer Algebra | 2024-05-13 | Paper |
| An SMT solver for non-linear real arithmetic inside maple ACM Communications in Computer Algebra | 2023-08-02 | Paper |
| Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations Mathematics of Computation | 2022-09-08 | Paper |
| The DEWCAD project ACM Communications in Computer Algebra | 2022-09-06 | Paper |
| Exotic bifurcations in three connected populations with Allee effect International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 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 Bulletin of Mathematical Biology | 2019-07-11 | Paper |
| Gröbner bases of reaction networks with intermediate species Advances in Applied Mathematics | 2019-06-21 | Paper |
Research outcomes over time
This page was built for person: AmirHosein Sadeghimanesh
