Ryoya Fukasaku

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5052940	2022-11-25	Paper
On Parametric Border Bases	2021-12-08	Paper
Algebraic approaches for solving isogeny problems of prime power degrees	2021-05-25	Paper
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1	2021-01-20	Paper
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal	2020-09-09	Paper
An algebraic reduction of Hedetniemi's conjecture	2019-11-21	Paper
On multivariate Hermitian quadratic forms	2019-08-19	Paper
On Real Roots Counting for Non-radical Parametric Ideals	2019-03-14	Paper
CGSQE/SyNRAC	2017-06-22	Paper
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems	2016-09-29	Paper
On the Implementation of CGS Real QE	2016-09-28	Paper
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems	2016-09-05	Paper
Improving a CGS-QE Algorithm	2016-05-25	Paper
On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems	2015-10-30	Paper
QE Software Based on Comprehensive Gröbner Systems	2014-09-08	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ryoya Fukasaku