- Message from the Dean
- History
- Education and Research
-
Staff Introduction
- Seminars & Events
- Distinctive Programs
- Access
- Job Openings
- Publications
- Related Links
- Contacts
Staff Introduction
My main research area is computer algebra. I have been improving efficiency in a quantifier elimination method, which is a method in computer algebra, and have been implementing the results on the computer algebra system ``Maple''. Quantifier elimination methods compute a quantifier-free formula equivalent to a given first order formula over the real number field. Many mathematical problems can be represented as first order formulas. Many mathematical problems that occur in the real world are related in real numbers. Therefore we are able to solve such mathematical problems by quantifier elimination methods. I am also interested in real algebraic geometry.
Keywords | Computer Algebra, Real Algebraic Geometry |
---|---|
Faculty , Department | Faculty of Mathematics , Department of Mathematics |