Ryoya Fukasaku

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Criteria for Hopf bifurcations with fixed multiplicities	2025-01-20	Paper
scientific article; zbMATH DE number 7623648 (Why is no real title available?)	2022-11-25	Paper
On Parametric Border Bases Mathematical Aspects of Computer and Information Sciences	2021-12-08	Paper
Algebraic approaches for solving isogeny problems of prime power degrees Journal of Mathematical Cryptology	2021-05-25	Paper
Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems AI Communications	2021-01-20	Paper
On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation	2020-09-09	Paper
An algebraic reduction of Hedetniemi's conjecture	2019-11-21	Paper
On multivariate Hermitian quadratic forms Mathematics in Computer Science	2019-08-19	Paper
On real roots counting for non-radical parametric ideals Mathematical Aspects of Computer and Information Sciences	2019-03-14	Paper
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems ACM Communications in Computer Algebra	2017-06-22	Paper
Real quantifier elimination by computation of comprehensive Gröbner systems Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation	2016-09-29	Paper
On the implementation of CGS real QE Mathematical Software – ICMS 2016	2016-09-28	Paper
Race against the teens -- benchmarking mechanized math on pre-university problems Automated Reasoning	2016-09-05	Paper
Improving a CGS-QE Algorithm Mathematical Aspects of Computer and Information Sciences	2016-05-25	Paper
On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems Mathematics in Computer Science	2015-10-30	Paper
QE software based on comprehensive Gröbner systems Mathematical Software – ICMS 2014	2014-09-08	Paper
Algebraic approach to maximum likelihood factor analysis (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Ryoya Fukasaku