Ryoya Fukasaku

16 papers A 1B 3Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Algebraic Approach to Ridge-Regularized Mean Squared Error Minimization in Minimal ReLU Neural Network.
CoRR
Ryoya Fukasaku, Yutaro Kabata, Akifumi Okuno
2021 J jnl
Algebraic approaches for solving isogeny problems of prime power degrees.
J. Math. Cryptol.
Yasushi Takahashi, Momonari Kudo, Ryoya Fukasaku, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama
2021 B conf
Criteria for Hopf Bifurcations with Fixed Multiplicities.
ISSAC
Ryoya Fukasaku
2020 — conf
Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem.
APKC@AsiaCCS
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
2019 J jnl
On Multivariate Hermitian Quadratic Forms.
Math. Comput. Sci.
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2019 — conf
On Parametric Border Bases.
MACIS
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
2018 J jnl
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.
AI Commun.
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
2018 B conf
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal.
ISSAC
Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa
2017 — conf
On Real Roots Counting for Non-radical Parametric Ideals.
MACIS
Ryoya Fukasaku, Yosuke Sato
2016 J jnl
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems.
ACM Commun. Comput. Algebra
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2016 — conf
On the Implementation of CGS Real QE.
ICMS
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2016 A conf
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.
IJCAR
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
2015 — conf
Improving a CGS-QE Algorithm.
MACIS
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2015 J jnl
On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems.
Math. Comput. Sci.
Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato
2015 B conf
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems.
ISSAC
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2014 — conf
QE Software Based on Comprehensive Gröbner Systems.
ICMS
Ryoya Fukasaku