Kyushu University Academic Staff Educational and Research Activities Database
Search by Keyword How ro search
Keyword
Search Criteria
 
Detailed Search

Researcher information (To researchers) Need Help? How to update
Fukasaku Ryoya Last modified date：2023.04.10

Assistant Professor / Faculty of Mathematics


Graduate School
Department of Mathematics
Graduate School of Mathematics
Undergraduate School
Department of Mathematics
School of Sciences


Homepage
https://kyushu-u.pure.elsevier.com/en/persons/ryoya-fukasaku
　Reseacher Profiling Tool　Kyushu University Pure
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
    keyword : Computer Algebra, Real Algebraic Geometry
    2015.04～2022.03.
Academic Activities
Papers
 Show All Papers >>
1. Ryoya Fukasaku, Criteria for Hopf Bifurcations with Fixed Multiplicities, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2021), 147-154, 2021.07.
2. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On Multivariate Hermitian Quadratic Forms, Mathematics in Computer Science, 2018.10.
3. Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa, On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), 359-365, 2018.07.
4. Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai, Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems, AI COMMUNICATIONS, 31, 3, 251-266, 2018.05.
5. Ryoya Fukasaku, Yosuke Sato, On Real Roots Counting for Non-radical Parametric Ideals, Proceedings of Seventh International Conference on Mathematical Aspects of Computer and Information Science (MACIS 2017), Lecture Notes in Computer Science (LNCS) , 10693, 258-263, 2017.11.
6. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems, ACM Communications in Computer Algebra, 50, 3, 101-104, 2016.09.
7. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On the Implementation of CGS Real QE, Proceedings of the 6th International Congress on Mathematical Software (ICMS 2016), Lecture Notes in Computer Science, 9725, 165-172, 2016.07.
8. Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai, Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems, Automated Reasoning, Lecture Notes in Computer Science, 9706, 213-227, 2016.06.
9. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Improving a CGS-QE algorithm, Proceedings of Sixth International Conference on Mathematical Aspects of Computer and Information Science (MACIS 2015), Lecture Notes in Computer Science, 9582, 231-235, 2016.04.
10. Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato, On QE Algorithms over an Algebraically Closed Field based on Comprehensive Gröbner Systems, Mathematics in Computer Science, 9, 3, 267-281, 2015.09.
11. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), 173-180, 2015.07.
12. Ryoya Fukasaku, QE Software Based on Comprehensive Gröbner Systems, Proceedings of the 5th International Congress on Mathematical Software (ICMS 2014), Lecture Notes in Computer Science, 8592, 512-517, 2014.08.
Works, Software and Database
1. .
Presentations
 Show All Presentations >>
1. Ryoya Fukasaku, Criteria for Hopf bifurcations with fixed multiplicities, The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021, 2021.07.
2. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato., CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Groebner systems, The International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) -Software Presentation- , 2016.07.
3. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On the Implementation of CGS Real QE, The 5th International Congress on Mathematical Software (ICMS 2016), 2016.07.
4. Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai, Race against the Teens -- Benchmarking Mechanized Math on Pre-university Problems, The 8th International Joint Conference on Automated Reasoning (IJCAR 2016), 2016.06.
5. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Improving a CGS-QE algorithm, The Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) , 2015.11.
6. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems, The International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), 2015.07.
7. Ryoya Fukasaku, QE Software Based on Comprehensive Gröbner Systems, The 4th International Congress on Mathematical Software (ICMS 2014) , 2014.08.
8. Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato, On QE Algorithms over Algebraically Closed Field, The Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) , 2013.12.
Membership in Academic Society
  • Japan Society for Symbolic and Algebraic Computation


Unauthorized reprint of the contents of this database is prohibited.

Copyright © 2006, Kyushu University. All rights reserved.