Edit Profile (opens in new tab) Iwane, Hidenao Co-Author Distance Author ID: iwane.hidenao Published as: Iwane, Hidenao Documents Indexed: 19 Publications since 2009 Software Indexed: 1 Package Co-Authors: 14 Co-Authors with 19 Joint Publications 140 Co-Co-Authors all top 5 Co-Authors 0 single-authored 14 Anai, Hirokazu 7 Fukasaku, Ryoya 6 Yanami, Hitoshi 5 Sato, Yosuke 4 Matsuzaki, Takuya 3 Arai, Noriko H. 3 Kobayashi, Munehiro 2 Kira, Akifumi 2 Kudo, Jumma 2 Yokoyama, Kazuhiro 2 Zhan, Yiyang 1 Fujisawa, Katsuki 1 Higuchi, Hiroyuki 1 Kimura, Yutaka Serials 2 Mathematics in Computer Science 1 Theoretical Computer Science 1 AI Communications 1 ACM Communications in Computer Algebra 1 Pacific Journal of Mathematics for Industry all top 5 Fields 17 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 4 Commutative algebra (13-XX) 4 Operations research, mathematical programming (90-XX) 3 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 66 times in 37 Documents Cited by ▼ Year ▼ An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 10 2009 Real quantifier elimination by computation of comprehensive Gröbner systems. Zbl 1345.68282 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 9 2015 An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 7 2013 Mathematics by machine. Zbl 1325.68212 Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu 7 2014 Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 1460.68086 Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu 6 2016 On the implementation of CGS real QE. Zbl 1434.68705 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 Improving a CGS-QE algorithm. Zbl 1460.13051 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification. Zbl 1411.68209 Iwane, Hidenao; Higuchi, Hiroyuki; Anai, Hirokazu 3 2013 On multivariate Hermitian quadratic forms. Zbl 07095829 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 3 2019 Formula simplification for real quantifier elimination using geometric invariance. Zbl 1457.68326 Iwane, Hidenao; Anai, Hirokazu 3 2017 Race against the teens – benchmarking mechanized math on pre-university problems. Zbl 1475.68459 Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 2 2016 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2014 CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. Zbl 1365.68488 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 2 2016 A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2011 Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152 Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 1 2018 On multivariate Hermitian quadratic forms. Zbl 07095829 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 3 2019 Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152 Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 1 2018 Formula simplification for real quantifier elimination using geometric invariance. Zbl 1457.68326 Iwane, Hidenao; Anai, Hirokazu 3 2017 Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 1460.68086 Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu 6 2016 On the implementation of CGS real QE. Zbl 1434.68705 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 Improving a CGS-QE algorithm. Zbl 1460.13051 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 Race against the teens – benchmarking mechanized math on pre-university problems. Zbl 1475.68459 Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. 2 2016 CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. Zbl 1365.68488 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 2 2016 Real quantifier elimination by computation of comprehensive Gröbner systems. Zbl 1345.68282 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 9 2015 Mathematics by machine. Zbl 1325.68212 Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu 7 2014 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2014 An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 7 2013 An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification. Zbl 1411.68209 Iwane, Hidenao; Higuchi, Hiroyuki; Anai, Hirokazu 3 2013 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2011 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282 Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 10 2009 all cited Publications top 5 cited Publications all top 5 Cited by 63 Authors 13 England, Matthew 12 Davenport, James Harold 9 Iwane, Hidenao 7 Anai, Hirokazu 7 Fukasaku, Ryoya 5 Sato, Yosuke 5 Wilson, David J. 4 Bradford, Russell J. 4 Matsuzaki, Takuya 3 Arai, Noriko H. 2 Ábrahám, Erika 2 Bridge, James P. 2 Brown, Christopher W. 2 Huang, Zongyan 2 Kobayashi, Munehiro 2 Kudo, Jumma 2 Nabeshima, Katsusuke 2 Paulson, Lawrence Charles 2 Sekigawa, Hiroshi 2 Yanami, Hitoshi 2 Zhan, Yiyang 1 Abbott, John A. 1 Becker, Bernd 1 Bigatti, Anna Maria 1 Brain, Martin 1 Buchberger, Bruno 1 Chen, Changbo 1 Chen, Xiaoyu 1 Cimatti, Alessandro 1 Cohen, Kelly 1 Daves, Glenn Christopher 1 del Río Almajano, Tereso 1 Eraşcu, Mădălina 1 Florescu, Dorian 1 Fontaine, Pascal 1 Forrest, Stephen 1 Friberg, Henrik A. 1 Fujita, Tomohiro 1 Griggio, Alberto 1 Kremer, Gereon 1 Kröning, Daniel 1 Lincoln, Patrick D. 1 Locatelli, A. F. 1 Lu, Dong 1 McCallum, Scott 1 Mikawa, Masahiko 1 Moreno Maza, Marc 1 Pickering, Lynn 1 Richter, Hendrik 1 Röbenack, Klaus 1 Sankaran, Gregory Kumar 1 Seiler, Werner M. 1 Song, Dan 1 Sturm, Thomas 1 Sun, Yao 1 Terui, Akira 1 Tiwari, Ashish Kumar 1 Vale-Enriquez, Fernando 1 Voßwinkel, Rick 1 Wang, Dingkang 1 Wang, Dongming 1 Yokoyama, Kazuhiro 1 Yoshizawa, Mizuki all top 5 Cited in 12 Serials 4 Journal of Symbolic Computation 3 Mathematics in Computer Science 1 Chaos, Solitons and Fractals 1 Journal of the London Mathematical Society. Second Series 1 Theoretical Computer Science 1 AI Communications 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 Journal of Systems Science and Complexity 1 ACM Communications in Computer Algebra 1 Mathematical Programming Computation 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 15 Fields 32 Computer science (68-XX) 9 Commutative algebra (13-XX) 8 Mathematical logic and foundations (03-XX) 6 Algebraic geometry (14-XX) 3 Field theory and polynomials (12-XX) 3 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year