( en | de | ru )

 

Disambiguation of "Fukasaku, Ryoya"

Author of the publication

copydeleteadd this publication to your clipboard
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.

, , , , , , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 213-227. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Fukasaku, Ryoya
add a person with the name Fukasaku, Ryoya
 

Other publications of authors with the same name

On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal., , and . ISSAC, page 359-365. ACM, (2018)QE Software Based on Comprehensive Gröbner Systems.. ICMS, volume 8592 of Lecture Notes in Computer Science, page 512-517. Springer, (2014)Criteria for Hopf Bifurcations with Fixed Multiplicities.. ISSAC, page 147-154. ACM, (2021)On Real Roots Counting for Non-radical Parametric Ideals., and . MACIS, volume 10693 of Lecture Notes in Computer Science, page 258-263. Springer, (2017)Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems., , , , , , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 213-227. Springer, (2016)Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem., , , , , and . APKC@AsiaCCS, page 36-44. ACM, (2020)Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems., , and . ISSAC, page 173-180. ACM, (2015)On the Implementation of CGS Real QE., , and . ICMS, volume 9725 of Lecture Notes in Computer Science, page 165-172. Springer, (2016)Improving a CGS-QE Algorithm., , and . MACIS, volume 9582 of Lecture Notes in Computer Science, page 231-235. Springer, (2015)On Parametric Border Bases., , , and . MACIS, volume 11989 of Lecture Notes in Computer Science, page 10-15. Springer, (2019)