Research output per year
Research output per year
Personal profile
Research Interests
I develop new algorithms to answer questions related to the parametric polynomial systems and have more focus on their applications in biology.
Education/Academic qualification
Applied Algebraic Geometry in Biology, Doctorate, Algebraic Tools in the study of Multistationarity of Chemical Reaction Networks, University of Copenhagen
1 Sept 2015 → 30 Aug 2018
Award Date: 31 Oct 2018
Algebraic Geometry, MSc, Resolution of Singularities and Hironaka's theorem, Institute for Advanced Studies in Basic Sciences (IASBS)
22 Sept 2012 → 15 Sept 2014
Award Date: 15 Sept 2014
Pure Mathematics, Degree, University of Qom
22 Sept 2008 → 21 Jun 2012
Award Date: 20 Jul 2012
Keywords
- QA76 Computer software
- Computational and Applied Algebraic Geometry
- Computer Algebra
- Mathematical Biology
- Population Dynamics
- Chemical Reaction Network Theory
Fingerprint
Dive into the research topics where AmirHosein Sadeghimanesh is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
External collaboration on country/territory level for the past five years. Dive into details by clicking on the dots or
-
Clustering in the Lazard method for Cylindrical Algebraic Decomposition
del Río, T., Sadeghimanesh, A. & England, M., 13 Dec 2023, In: ACM Communications in Computer Algebra. 57, 3, p. 126-129 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile36 Downloads (Pure) -
Unidirectional Migration of Populations with Allee Effect
Röst, G. & Sadeghimanesh, A., 10 Jan 2023, In: Letters in Biomathematics. 10, 1, p. 43-52 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile7 Citations (Scopus)195 Downloads (Pure) -
An SMT solver for non-linear real arithmetic inside maple
Sadeghimanesh, A. & England, M., 23 Nov 2022, In: ACM Communications in Computer Algebra. 56, 2, p. 76-79 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile133 Downloads (Pure) -
An SMT solver for non-linear real arithmetic inside Maple
Sadeghimanesh, A. & England, M., 6 Jul 2022.Research output: Contribution to conference › Poster › peer-review
Open AccessFile73 Downloads (Pure) -
Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations
Feliu, E. & Sadeghimanesh, A., 11 Aug 2022, In: Mathematics of Computation (MCOM). 91, 338, p. 2739-2769 31 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)163 Downloads (Pure)
-
In a search for cheaper computer algebra tools to answer real world problems
Sadeghimanesh, A. (Speaker)
18 Jan 2023Activity: Talk or presentation › Invited talk
-
Computational limits of using CAD and SMT-solvers in Logical Analysis of Regulatory Networks
Sadeghimanesh, A. (Speaker)
15 Feb 2022Activity: Talk or presentation › Oral presentation
-
Computer Algebra Applications in the Life Sciences
Sadeghimanesh, A. (Organising Committee)
15 Aug 2022 → 17 Aug 2022Activity: Participating in or organising an event › Participation in conference
-
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Sadeghimanesh, A. (Scientific Committee Member)
12 Sept 2022 → 15 Sept 2022Activity: Participating in or organising an event › Participation in conference
-
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
Sadeghimanesh, A. (Speaker)
15 Mar 2022Activity: Talk or presentation › Oral presentation
Prizes
-
Finalist in the Mathematics category of STEM for Britain
Sadeghi Manesh, A. S. (Recipient), 7 Mar 2022
Prize: Prize (including medals and awards)
-