| 1. |
Ryoya Fukasaku, Yasuhiko Ikematsu, Momonari Kudo, Masaya Yasuda and Kazuhiro Yokoyama, Introduction to algebraic approaches for solving isogeny path-finding problems, RIMS Kokyuroku Bessatsu (Theory and Applications of Supersingular Curves and Supersingular Abelian Varieties), 2022.06. |
| 2. |
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. |
| 3. |
Yasushi Takahashi, Momonari Kudo, Ryoya Fukasaku, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama, Algebraic approaches for solving isogeny problems of prime power degrees, Journal of Mathematical Cryptology, https://doi.org/10.1515/jmc-2020-0072, 15, 1, 31-44, 2020.11. |
| 4. |
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama, Hybrid meet-in-the-middle-attacks for the isogeny path-finding problem, APKC '20: Proceedings of the 7th ACM Workshop on ASIA Public-Key CryptographyOctober 2020, https://doi.org/10.1145/3384940.3388956, 36-44, 2020.10. |
| 5. |
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima, On Parametric Border Bases, Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers. Lecture Notes in Computer Science , 10.1007/978-3-030-43120-4, 11989, 10-15, 2020.03. |
| 6. |
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima, On Applications of Technology to Understanding Hierarchies of Elementary Geometry, Electronic Proceedings of the 23nd Asian Technology Conference in Mathematics, 2018.11. |
| 7. |
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On Multivariate Hermitian Quadratic Forms,
Mathematics in Computer Science, 2018.10. |
| 8. |
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. |
| 9. |
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. |
| 10. |
Yosuke Sato, Ryoya Fukasaku, On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education, Proceedings of Asian Technology Conference in Mathematics (ATCM 2017), 198-207, 2017.12. |
| 11. |
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. |
| 12. |
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima, On Simple Representation of Locally Closed Sets, Proceedings of Asian Technology Conference in Mathematics (ATCM 2016), 190-199, 2016.12. |
| 13. |
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. |
| 14. |
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. |
| 15. |
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. |
| 16. |
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. |
| 17. |
Yosuke Sato, Ryoya Fukasaku, Detecting unnecessary assumptions of elementary geometry problems by CAS, Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015), 316-325, 2015.12. |
| 18. |
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. |
| 19. |
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. |
| 20. |
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. |
| 21. |
Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato, On QE Algorithms over Algebraically Closed Field, Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 21-24, 2013.12. |
