Ryoya Fukasaku

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 11

Top Topics

Methods Can Be Applied

Numerically Stable

Quantifier Elimination

Top Venues

Math. Comput. Sci.

Publications

Yasushi Takahashi, Momonari Kudo, Ryoya Fukasaku, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama
Algebraic approaches for solving isogeny problems of prime power degrees. J. Math. Cryptol. 15 (1) (2021)
Ryoya Fukasaku
Criteria for Hopf Bifurcations with Fixed Multiplicities. ISSAC (2021)
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@AsiaCCS (2020)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
On Multivariate Hermitian Quadratic Forms. Math. Comput. Sci. 13 (1-2) (2019)
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
On Parametric Border Bases. MACIS (2019)
Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal. ISSAC (2018)
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 Commun. 31 (3) (2018)
Ryoya Fukasaku, Yosuke Sato
On Real Roots Counting for Non-radical Parametric Ideals. MACIS (2017)
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. IJCAR (2016)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. ACM Commun. Comput. Algebra 50 (3) (2016)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
On the Implementation of CGS Real QE. ICMS (2016)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Improving a CGS-QE Algorithm. MACIS (2015)
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. ISSAC (2015)
Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato
On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems. Math. Comput. Sci. 9 (3) (2015)
Ryoya Fukasaku
QE Software Based on Comprehensive Gröbner Systems. ICMS (2014)