 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 quantifierfree 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 