Return to Home
The short paper "An SMT solver for non-linear real arithmetic inside Maple" is now published at ACM Communications in Computer Algebra. The DOI link is 10.1145/3572867.3572880.
2022-Nov-24
I will be on holidays from 3rd of December 2022 until 22nd of January 2023.
2022-Nov-16
I have been invited to give a presentation about my research at the math department of Chulalongkorn University in Bangkok for 18th of January 2023. Chulalongkorn University is the first highest ranked university in Thailand and ranked 215 internationaly in 2022 according to QS top universities ranking.
2022-Nov-11
I will give a presentation in Maple conference at the first session of contributed talks, track 1, Algorithms and Software. The title of the talk is "An SMT Solver for Non-linear Real Arithmetic Inside Maple"
2022-Oct-26
My math art will be featured in the online art gallery of Maple Conference being held on Thursday November 3rd at 15:15 EDT.
2022-Oct-23
The paper "Matrix decomposition by transforming the unit sphere to an Ellipsoid through Dilation, Rotation and Shearing" a joint work with professor Wei-Chi Yang is published at The Electronic Journal of Mathematics and Technology. For the abstract page see https://php.radford.edu/~ejmt/deliverAbstract.php?paperID=eJMT_v16n3p3. The paper is freely accessible, but the routine of this journal is that you should first register and then log in to get access to the pdf files of the papers.
2022-Oct-19
Dr. Murad Banaji is invited to give a talk at the CSM center of Coventry University for 13th of October at 12:00 UK time. It is possible to join online using Microsoft Teams. If you are interested to do so, please let me know to share its link with you.
2022-Sep-26
I am participating Maple conference 2022 which is being held on 2-3 November. It is free to register and will be an online event. Unfortunately, this year they are not allowing participation of researchers who are located inside Iran, Russia, China and many more countries which is a shame. Political sanctions should not influence the scientific world.
2022-Sep-10
The paper "Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks" is accepted in the BMC Bioinformatics journal.
2022-Sep-05
The paper "Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations" now is published, DOI: 10.1090/mcom/3760.
2022-Aug-24
The ACA special session "CASinLife 2022" was successfully held. Click here to see some photos of the session. It was held on the first three days of ACA, 15-17 August. The session had 11 speakers from different countries; Austria, Denmark, Germany, Slovenia, UK and US. The session covered applications of computer algebra in different areas including disaster management, genetics, tumour growth models, and chemical reaction network theory.
2022-Aug-19
The first version of SCPPack, a Maple package to solve Set Covering Problem (SCP) and Set Covering Problem with Reasons (SCPR) is out, DOI: 10.5281/zenodo.6609202.
2022-Jun-02
Our poster, entitled "An SMT solver for non-linear real arithmetic inside Maple" has been accepted for presentation at ISSAC 2022.
2022-May-29
I am the Independent Subject Expert of the Progress Review Panel session of a PhD student that will be held on 17th of June.
2022-May-10
I am the Independent Subject Expert of the Progress Review Panel session of a PhD student that will be held on 8th of June.
2022-May-04
The paper "Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations" is accepted in the AMS journal, Mathematics of Computation.
2022-Apr-15
The special session for ACA that Ali Kemal Uncu and I proposed got approval. This session is called "Computer Algebra Applications in the Life Sciences" and will be held as part of ACA, Applications of Computer Algebra, conference in Gebze, Turkey, 15-19 August. For further information see the homepage of this session: https://sites.google.com/view/aca22-casinlife/home.
2022-Apr-13
Happy Songkran, the new Thai year ^_^
2022-Apr-13
I am a PC (Program Committee) member of Symbolic Computation track of SYNASC for the second year. SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, will be held in Linz, Austria, 12-15 September.
2022-Apr-07
Happy Noruz, the new Persian year ^_^
2022-Mar-21
I presented my poster at the parliament on 7th of March. The university news has a great page with a nice photo which you can check at https://www.coventry.ac.uk/research/about-us/research-news/2022/coventry-mathematic-scientist-invited-to-present-his-research-to-parliament/. They also made a LinkedIn post, click here to see it.
2022-Mar-10
I will be in Bonn, Germany 12-16 March to participate SYMBIONT. I will give a talk on 15th of March. The title of my talk is Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks.
2022-Mar-07
There will be a rehearsal for the poster presentation at the parliament in the CSM center on 1st of March.
2022-Feb-25
I will give a talk at Dagstuhl summer school on 15th of February. The title of the talk is "Computational limits of using CAD and SMT-solvers in Logical Analysis of Regulatory Networks".
2022-Feb-07
A new preprint is available: Resultant Tools for Parametric Polynomial Systems with Application to Population Models.
2022-Feb-01
I will give a talk at the last event of SYMBIONT project. The title of my talk is "Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks". The event is on the memorial of Andreas Weber. The event holds in 14-16 of March.
2022-Jan-27
I am the Independent Subject Expert of the Progress Review Panel session of a PhD student that will be held on 22nd of February.
2022-Jan-26
I have been selected as one of the finalists in the math category, in STEM for Britain competition (https://stemforbritain.org.uk/). The next step of this competition is on 7th of March at the house of commons (parliament). Very excited.
2022-Jan-25
The first version of ResChain, a Maple package to do elimination of variables using some new Resultant techniques is out, DOI: 10.5281/zenodo.5902593.
2022-Jan-25
I participate the Dagstuhl seminar "New Perspectives in Symbolic Computation and Satisfiability Checking" online. I am also the remote VCA. 14-18 February.
2022-Jan-21
This flag counter counts the number of visitors to my homepages, not only this page :)