Edit Profile (opens in new tab) Fukasaku, Ryoya Compute Distance To: Compute Author ID: fukasaku.ryoya Published as: Fukasaku, Ryoya Documents Indexed: 14 Publications since 2014 Co-Authors: 16 Co-Authors with 13 Joint Publications 141 Co-Co-Authors all top 5 Co-Authors 1 single-authored 9 Sato, Yosuke 7 Iwane, Hidenao 2 Anai, Hirokazu 2 Arai, Noriko H. 2 Ikematsu, Yasuhiko 2 Kobayashi, Munehiro 2 Kudo, Jumma 2 Kudo, Momonari 2 Matsuzaki, Takuya 2 Sekigawa, Hiroshi 2 Yasuda, Masaya 2 Yokoyama, Kazuhiro 2 Zhan, Yiyang 1 Inoue, Shutaro 1 Nabeshima, Katsusuke 1 Takahashi, Yasushi Serials 2 Mathematics in Computer Science 1 AI Communications 1 Journal of Mathematical Cryptology 1 RIMS Kôkyûroku Bessatsu 1 ACM Communications in Computer Algebra all top 5 Fields 11 Computer science (68-XX) 6 Commutative algebra (13-XX) 5 Mathematical logic and foundations (03-XX) 2 Field theory and polynomials (12-XX) 2 Algebraic geometry (14-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 22 times in 9 Documents Cited by ▼ Year ▼ Real quantifier elimination by computation of comprehensive Gröbner systems. Zbl 1345.68282Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 6 2015 Improving a CGS-QE algorithm. Zbl 1460.13051Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 On the implementation of CGS real QE. Zbl 1434.68705Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 3 2016 On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems. Zbl 1341.68311Fukasaku, Ryoya; Inoue, Shutaro; Sato, Yosuke 2 2015 Race against the teens – benchmarking mechanized math on pre-university problems. Zbl 1475.68459Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 2 2016 QE software based on comprehensive Gröbner systems. Zbl 1434.68704Fukasaku, Ryoya 1 2014 On real roots counting for non-radical parametric ideals. Zbl 1497.68584Fukasaku, Ryoya; Sato, Yosuke 1 2017 On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal. Zbl 1467.13053Sato, Yosuke; Fukasaku, Ryoya; Sekigawa, Hiroshi 1 2018 On multivariate Hermitian quadratic forms. Zbl 07095829Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 1 2019 Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 1 2018 On multivariate Hermitian quadratic forms. Zbl 07095829Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 1 2019 On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal. Zbl 1467.13053Sato, Yosuke; Fukasaku, Ryoya; Sekigawa, Hiroshi 1 2018 Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 1 2018 On real roots counting for non-radical parametric ideals. Zbl 1497.68584Fukasaku, Ryoya; Sato, Yosuke 1 2017 Improving a CGS-QE algorithm. Zbl 1460.13051Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 On the implementation of CGS real QE. Zbl 1434.68705Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 3 2016 Race against the teens – benchmarking mechanized math on pre-university problems. Zbl 1475.68459Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 2 2016 Real quantifier elimination by computation of comprehensive Gröbner systems. Zbl 1345.68282Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 6 2015 On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems. Zbl 1341.68311Fukasaku, Ryoya; Inoue, Shutaro; Sato, Yosuke 2 2015 QE software based on comprehensive Gröbner systems. Zbl 1434.68704Fukasaku, Ryoya 1 2014 all cited Publications top 5 cited Publications all top 5 Cited by 22 Authors 5 Fukasaku, Ryoya 4 Iwane, Hidenao 4 Sato, Yosuke 2 Matsuzaki, Takuya 1 Anai, Hirokazu 1 Arai, Noriko H. 1 Bradford, Russell J. 1 Davenport, James Harold 1 England, Matthew 1 Fujita, Tomohiro 1 Kobayashi, Munehiro 1 Kogure, Jun 1 Kudo, Jumma 1 Lu, Dong 1 Nabeshima, Katsusuke 1 Sekigawa, Hiroshi 1 Sun, Yao 1 Takahashi, Yasushi 1 Wang, Dingkang 1 Yasuda, Masaya 1 Yokoyama, Kazuhiro 1 Zhan, Yiyang all top 5 Cited in 6 Serials 1 Journal of Symbolic Computation 1 AI Communications 1 Journal of Systems Science and Complexity 1 Mathematics in Computer Science 1 Journal of Mathematical Cryptology 1 ACM Communications in Computer Algebra all top 5 Cited in 8 Fields 7 Computer science (68-XX) 4 Commutative algebra (13-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year