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, University of Copenhagen
1 Sep 2015 → 30 Aug 2018
Award Date: 31 Oct 2018
Algebraic Geometry, MSc, Institute for Advanced Studies in Basic Sciences (IASBS)
22 Sep 2012 → 15 Sep 2014
Award Date: 15 Sep 2014
Pure Mathematics, Degree, University of Qom
22 Sep 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 Sadeghi Manesh is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 AccessFile14 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 AccessFile11 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 AccessFile22 Downloads (Pure) -
Matrix decomposition by transforming the unit sphere to an Ellipsoid through Dilation, Rotation and Shearing
Yang, W-C. & Sadeghimanesh, A., 19 Oct 2022, In: The Electronic Journal of Mathematics and Technology. 16, 3, p. 176-190 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Downloads (Pure) -
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
Sadeghimanesh, A. & England, M., 27 Sep 2022, In: BMC Bioinformatics. 23, 1, 26 p., 391.Research output: Contribution to journal › Article › peer-review
Open AccessFile11 Downloads (Pure)
-
Computational limits of using CAD and SMT-solvers in Logical Analysis of Regulatory Networks
AmirHosein Sadeghimanesh Sadeghi Manesh (Speaker)
15 Feb 2022Activity: Talk or presentation › Oral presentation
-
Computer Algebra Applications in the Life Sciences
AmirHosein Sadeghimanesh Sadeghi Manesh (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
AmirHosein Sadeghimanesh Sadeghi Manesh (Scientific Committee Member)
12 Sep 2022 → 15 Sep 2022Activity: Participating in or organising an event › Participation in conference
-
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
AmirHosein Sadeghimanesh Sadeghi Manesh (Speaker)
15 Mar 2022Activity: Talk or presentation › Oral presentation
-
Improving algebraic tools to study bifurcation sequences of population models
AmirHosein Sadeghimanesh Sadeghi Manesh (Speaker)
14 Sep 2021Activity: Talk or presentation › Oral presentation
Prizes
-
Finalist in the Mathematics category of STEM for Britain
Sadeghi Manesh, AmirHosein Sadeghimanesh (Recipient), 7 Mar 2022
Prize: Prize (including medals and awards)
-
Silver medal
Sadeghi Manesh, AmirHosein Sadeghimanesh (Recipient), 18 May 2012
Prize: Prize (including medals and awards)