Ryoya Fukasaku

According to our database, Ryoya Fukasaku authored at least 15 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Criteria for Hopf Bifurcations with Fixed Multiplicities.

Ryoya Fukasaku

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem.

Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama

Proceedings of the 7th on ASIA Public-Key Cryptography Workshop, 2020

2019

On Multivariate Hermitian Quadratic Forms.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Math. Comput. Sci., 2019

On Parametric Border Bases.

Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

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 Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal.

Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

On Real Roots Counting for Non-radical Parametric Ideals.

Ryoya Fukasaku, Yosuke Sato

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

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 the Implementation of CGS Real QE.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the Mathematical Software - ICMS 2016, 2016

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

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

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

Improving a CGS-QE Algorithm.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

QE Software Based on Comprehensive Gröbner Systems.

Ryoya Fukasaku

Proceedings of the Mathematical Software - ICMS 2014, 2014