|Fukasaku Ryoya||Last modified date：2023.04.10|
Assistant Professor / Faculty of Mathematics
Reseacher Profiling Tool Kyushu University Pure
Doctor of Science
Country of degree conferring institution (Overseas)
Field of Specialization
Total Priod of education and research career in the foreign country
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.
Research InterestsMembership in Academic Society
- Development of Computer Algebra Methods
keyword : Computer Algebra, Real Algebraic Geometry
- Japan Society for Symbolic and Algebraic Computation
Unauthorized reprint of the contents of this database is prohibited.