×
Author ID: iwane.hidenao Recent zbMATH articles by "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

Publications by Year

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

Citations by Year