1. |
Ryoya Fukasaku, Yasuhiko Ikematsu, Comprehensive Gröbner systems over finite fields, Applications of Computer Algebra (ACA) 2022, 2023.08. |
2. |
Ryoya Fukasaku, Criteria for Hopf bifurcations with fixed multiplicities, The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021, 2021.07. |
3. |
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama, Hybrid meet-in-the-middle attacks for the isogeny path-finding problem, The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020), 2020.10. |
4. |
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima, On Parametric Border Bases, 8th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2018), 2019.11. |
5. |
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima, On Applications of Technology to Understanding Hierarchies of Elementary Geometry, the 23nd Asian Technology Conference in Mathematics, 2018.11. |
6. |
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima, On Simple Representation of Locally Closed Sets, Asian Technology Conference in Mathematics (ATCM 2016) , 2016.12. |
7. |
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. |
8. |
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On the Implementation of CGS Real QE, The 5th International Congress on Mathematical Software (ICMS 2016), 2016.07. |
9. |
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. |
10. |
Yosuke Sato, Ryoya Fukasaku, Detecting unnecessary assumptions of elementary geometry problems by CAS, The 20th Asian Technology Conference in Mathematics(ATCM 2015) , 2015.12. |
11. |
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. |
12. |
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. |
13. |
Ryoya Fukasaku, QE Software Based on Comprehensive Gröbner Systems, The 4th International Congress on Mathematical Software (ICMS 2014) , 2014.08. |
14. |
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. |