Ryoya Fukasaku | Last modified date：2019.04.28 |

Graduate School

Undergraduate School

Homepage

##### https://researchmap.jp/fukasaku/?lang=english

Academic Degree

Doctor of Science

Country of degree conferring institution (Overseas)

No

Field of Specialization

Computer Algebra

Total Priod of education and research career in the foreign country

00years05months

Outline Activities

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

**Research Interests**

- Development of Computer Algebra Methods for Real World

keyword : Computer Algebra, Real Algebraic Geometry

2015.05～2019.04.

**Academic Activities**

**Papers**

**Presentations**

**Membership in Academic Society**

- Japan Society for Symbolic and Algebraic Computation

Unauthorized reprint of the contents of this database is prohibited.