Edit Profile (opens in new tab) Iwane, Hidenao Compute Distance To: Compute Author ID: iwane.hidenao Published as: Iwane, Hidenao Documents Indexed: 19 Publications since 2009 Co-Authors: 14 Co-Authors with 19 Joint Publications 125 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 15 Publications have been cited 101 times in 81 Documents Cited by ▼ Year ▼ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 59 2013 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 9 2009 Real quantifier elimination by computation of comprehensive Gröbner systems. Zbl 1345.68282Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 6 2015 Mathematics by machine. Zbl 1325.68212Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu 5 2014 Improving a CGS-QE algorithm. Zbl 1460.13051Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 1460.68086Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu 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 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 Formula simplification for real quantifier elimination using geometric invariance. Zbl 1457.68326Iwane, Hidenao; Anai, Hirokazu 2 2017 An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification. Zbl 1411.68209Iwane, Hidenao; Higuchi, Hiroyuki; Anai, Hirokazu 1 2013 A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2011 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2014 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 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 Formula simplification for real quantifier elimination using geometric invariance. Zbl 1457.68326Iwane, Hidenao; Anai, Hirokazu 2 2017 Improving a CGS-QE algorithm. Zbl 1460.13051Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 4 2016 Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 1460.68086Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu 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 Mathematics by machine. Zbl 1325.68212Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu 5 2014 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2014 An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 59 2013 An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification. Zbl 1411.68209Iwane, Hidenao; Higuchi, Hiroyuki; Anai, Hirokazu 1 2013 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 1 2011 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 9 2009 all cited Publications top 5 cited Publications all top 5 Cited by 154 Authors 12 England, Matthew 11 Davenport, James Harold 7 Iwane, Hidenao 6 Fukasaku, Ryoya 5 Anai, Hirokazu 5 Wilson, David J. 4 Bradford, Russell J. 4 Matsuzaki, Takuya 4 Sato, Yosuke 3 Arai, Noriko H. 3 Kaltofen, Erich L. 2 Abbas, Hassan 2 Ábrahám, Erika 2 Arnold, Andrew 2 Barkatou, Moulay A. 2 Bostan, Alin 2 Bridge, James P. 2 Chen, Changbo 2 Chen, Shaoshi 2 Eraşcu, Mădălina 2 Faugère, Jean-Charles 2 Giesbrecht, Mark W. 2 Huang, Zongyan 2 Kauers, Manuel 2 Kobayashi, Munehiro 2 Kudo, Jumma 2 Maddah, Suzy S. 2 Moreno Maza, Marc 2 Nabeshima, Katsusuke 2 Paulson, Lawrence Charles 2 Roche, Daniel S. 2 Rouillier, Fabrice 2 Schost, Éric 2 Zhan, Yiyang 1 Abbott, John A. 1 Arreche, Carlos E. 1 Becker, Bernd 1 Bigatti, Anna Maria 1 Bläser, Markus 1 Bouzidi, Yacine 1 Brain, Martin 1 Brown, Christopher W. 1 Buchberger, Bruno 1 Burger, Reinhold 1 Caruso, Xavier 1 Chen, Xiaoyu 1 Cimatti, Alessandro 1 Combot, Thierry 1 Corless, Robert Malcolm 1 Dai, Liyun 1 Daves, Glenn Christopher 1 De Feo, Luca 1 Diatta, Daouda Niang 1 Diekert, Volker 1 Doliskani, Javad 1 Dumas, Jean-Guillaume 1 Emiris, Ioannis Z. 1 Feng, Ruyong 1 Florescu, Dorian 1 Fontaine, Pascal 1 Forrest, Stephen 1 Friberg, Henrik A. 1 Fujita, Tomohiro 1 Garcia-Morchon, Oscar 1 Gaudry, Pierrick 1 Giorgi, Pascal 1 Gomez-Perez, Domingo 1 Gómez Torrecillas, José 1 Grasegger, Georg 1 Grenet, Bruno 1 Griggio, Alberto 1 Gross, Elizabeth 1 Gutierrez, Jaime 1 Han, Jingjun 1 Hauenstein, Jonathan D. 1 Haywood, Ian 1 Heinle, Albert 1 Hong, Hoon 1 Huang, Lei 1 Huot, Louise 1 Jeffrey, David J. 1 Jindal, Gorav 1 Johansson, Fredrik 1 Kahle, Thomas 1 Kausch, Jonathan 1 Koutschan, Christoph 1 Kremer, Gereon 1 Krone, Robert 1 Kröning, Daniel 1 Labahn, George 1 Lazard, Sylvain 1 Le Gall, François 1 Lebreton, Romain 1 Levandovskyy, Viktor 1 Leykin, Anton 1 Li, Hongbo 1 Li, Ziming 1 Liddell, Alan C. jun. 1 Lincoln, Patrick D. 1 Lobillo, Francisco Javier ...and 54 more Authors all top 5 Cited in 10 Serials 3 Mathematics in Computer Science 2 Journal of Symbolic Computation 1 Chaos, Solitons and Fractals 1 Theoretical Computer Science 1 AI Communications 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 25 Fields 73 Computer science (68-XX) 20 Numerical analysis (65-XX) 18 Commutative algebra (13-XX) 12 Field theory and polynomials (12-XX) 10 Algebraic geometry (14-XX) 8 Mathematical logic and foundations (03-XX) 6 Number theory (11-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Ordinary differential equations (34-XX) 5 Approximations and expansions (41-XX) 4 Information and communication theory, circuits (94-XX) 3 Associative rings and algebras (16-XX) 3 Special functions (33-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Combinatorics (05-XX) 2 Partial differential equations (35-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year