List of faculty

FUKASAKU, Ryoya( FUKASAKU, Ryoya ) / Assistant Professor

Faculty , Department

Faculty of Mathematics : Division of Algebra and Geometry


Computer Algebra, Real Algebraic Geometry

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.