QE Software Based on Comprehensive Gröbner Systems. - Ryoya Fukasaku (ICMS, 2014)

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (ISSAC, 2015)

Improving a CGS-QE Algorithm. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (MACIS, 2015)

On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems. - Ryoya Fukasaku; Shutaro Inoue; Yosuke Sato (Math. Comput. Sci., 2015)

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (IJCAR, 2016)

On the Implementation of CGS Real QE. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (ICMS, 2016)

CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (ACM Commun. Comput. Algebra, 2016)

On Real Roots Counting for Non-radical Parametric Ideals. - Ryoya Fukasaku; Yosuke Sato (MACIS, 2017)

On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal. - Yosuke Sato; Ryoya Fukasaku; Hiroshi Sekigawa (ISSAC, 2018)

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (AI Commun., 2018)

On Parametric Border Bases. - Yosuke Sato; Hiroshi Sekigawa; Ryoya Fukasaku; Katsusuke Nabeshima (MACIS, 2019)

On Multivariate Hermitian Quadratic Forms. - Ryoya Fukasaku; Hidenao Iwane; Yosuke Sato (Math. Comput. Sci., 2019)

Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem. - Yasuhiko Ikematsu; Ryoya Fukasaku; Momonari Kudo; Masaya Yasuda; Katsuyuki Takashima; Kazuhiro Yokoyama (APKC@AsiaCCS, 2020)

Criteria for Hopf Bifurcations with Fixed Multiplicities. - Ryoya Fukasaku (ISSAC, 2021)

Algebraic approaches for solving isogeny problems of prime power degrees. - Yasushi Takahashi; Momonari Kudo; Ryoya Fukasaku; Yasuhiko Ikematsu; Masaya Yasuda; Kazuhiro Yokoyama (J. Math. Cryptol., 2021)