×

zbMATH — the first resource for mathematics

Anai, Hirokazu

Compute Distance To:
Author ID: anai.hirokazu Recent zbMATH articles by "Anai, Hirokazu"
Published as: Anai, H.; Anai, Hirokazu
Documents Indexed: 49 Publications since 1995, including 2 Books

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 129 times in 108 Documents Cited by Year
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro
59
2013
Reach set computations using real quantifier elimination. Zbl 0991.93008
Anai, Hirokazu; Weispfenning, Volker
10
2002
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1356.68282
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro
9
2009
A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. Zbl 1133.93018
Anai, H.; Hara, S.
6
2006
Computation of the splitting fields and the Galois groups of polynomials. - Appendix. Zbl 0867.12006
Anai, H.; Noro, M.; Yokoyama, K.
6
1996
Mathematics by machine. Zbl 1325.68212
Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu
5
2014
Sum of roots with positive real parts. Zbl 1360.68912
Anai, Hirokazu; Hara, Shinji; Yokoyama, Kazuhiro
4
2005
SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960
Anai, Hirokazu; Yanami, Hitoshi
4
2003
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. Zbl 1180.13036
Anai, Hirokazu; Hara, Shinji; Kanno, Masaaki; Yokoyama, Kazuhiro
3
2009
Development of SyNRAC. Zbl 1120.68467
Yanami, Hitoshi; Anai, Hirokazu
3
2005
Reach set computations using real quantifier elimination. Zbl 0985.68755
Anai, Hirokazu; Weispfenning, Volker
3
2001
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu
2
2011
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Zbl 1167.68467
Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu
2
2007
On the relationship between the sum of roots with positive real parts and polynomial spectral factorization. Zbl 1137.65349
Kanno, Masaaki; Anai, Hirokazu; Yokoyama, Kazuhiro
2
2007
Development of SyNRAC – formula description and new functions. Zbl 1102.68749
Yanami, Hitoshi; Anai, Hirokazu
2
2004
Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 06585029
Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu
1
2016
SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu
1
2014
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
1
2013
A symbolic-numeric approach to multi-objective optimization in manufacturing design. Zbl 1270.90061
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu
1
2011
Inference of probabilities over a stochastic IL-system by quantifier elimination. Zbl 1152.92006
Yoshida, Hiroshi; Horimoto, Katsuhisa; Anai, Hirokazu
1
2008
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. Zbl 1190.93061
Kanno, Masaaki; Yokoyama, Kazuhiro; Anai, Hirokazu; Hara, Shinji
1
2007
Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization. Zbl 1155.68599
Yanami, Hitoshi; Anai, Hirokazu
1
2006
Deciding linear-trigonometric problems. Zbl 0985.03516
Anai, Hirokazu; Weispfenning, Volker
1
2001
On solving semidefinite programming by quantifier elimination. Zbl 0944.90577
Anai, Hirokazu
1
1998
Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 06585029
Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu
1
2016
Mathematics by machine. Zbl 1325.68212
Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu
5
2014
SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu
1
2014
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Zbl 1291.68433
Iwane, 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.68209
Iwane, Hidenao; Higuchi, Hiroyuki; Anai, Hirokazu
1
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
9
2009
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. Zbl 1180.13036
Anai, Hirokazu; Hara, Shinji; Kanno, Masaaki; Yokoyama, Kazuhiro
3
2009
Inference of probabilities over a stochastic IL-system by quantifier elimination. Zbl 1152.92006
Yoshida, Hiroshi; Horimoto, Katsuhisa; Anai, Hirokazu
1
2008
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Zbl 1167.68467
Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu
2
2007
On the relationship between the sum of roots with positive real parts and polynomial spectral factorization. Zbl 1137.65349
Kanno, Masaaki; Anai, Hirokazu; Yokoyama, Kazuhiro
2
2007
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. Zbl 1190.93061
Kanno, Masaaki; Yokoyama, Kazuhiro; Anai, Hirokazu; Hara, Shinji
1
2007
A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. Zbl 1133.93018
Anai, H.; Hara, S.
6
2006
Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization. Zbl 1155.68599
Yanami, Hitoshi; Anai, Hirokazu
1
2006
Sum of roots with positive real parts. Zbl 1360.68912
Anai, Hirokazu; Hara, Shinji; Yokoyama, Kazuhiro
4
2005
Development of SyNRAC. Zbl 1120.68467
Yanami, Hitoshi; Anai, Hirokazu
3
2005
Development of SyNRAC – formula description and new functions. Zbl 1102.68749
Yanami, Hitoshi; Anai, Hirokazu
2
2004
SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960
Anai, Hirokazu; Yanami, Hitoshi
4
2003
Reach set computations using real quantifier elimination. Zbl 0991.93008
Anai, Hirokazu; Weispfenning, Volker
10
2002
Reach set computations using real quantifier elimination. Zbl 0985.68755
Anai, Hirokazu; Weispfenning, Volker
3
2001
Deciding linear-trigonometric problems. Zbl 0985.03516
Anai, Hirokazu; Weispfenning, Volker
1
2001
On solving semidefinite programming by quantifier elimination. Zbl 0944.90577
Anai, Hirokazu
1
1998
Computation of the splitting fields and the Galois groups of polynomials. - Appendix. Zbl 0867.12006
Anai, H.; Noro, M.; Yokoyama, K.
6
1996
all top 5

Cited by 198 Authors

11 Davenport, James Harold
11 England, Matthew
10 Anai, Hirokazu
6 Iwane, Hidenao
5 Hong, Hoon
5 Wilson, David J.
5 Yokoyama, Kazuhiro
4 Bradford, Russell J.
3 Eraşcu, Mădălina
3 Fukasaku, Ryoya
3 Hara, Shinji
3 Kaltofen, Erich L.
3 Kanno, Masaaki
3 Renault, Guénaël
3 Xia, Bican
3 Yanami, Hitoshi
2 Abbas, Hassan
2 Ábrahám, Erika
2 Arai, Noriko H.
2 Arnold, Andrew
2 Barkatou, Moulay A.
2 Bostan, Alin
2 Bridge, James P.
2 Chen, Changbo
2 Chen, Shaoshi
2 Dai, Liyun
2 Dang, Thao
2 Faugère, Jean-Charles
2 Giesbrecht, Mark W.
2 Han, Jingjun
2 Huang, Zongyan
2 Kauers, Manuel
2 Maddah, Suzy S.
2 Matsuzaki, Takuya
2 McCallum, Scott
2 Moreno Maza, Marc
2 Moroz, Guillaume
2 Orange, Sébastien
2 Paulson, Lawrence Charles
2 Piazza, Carla
2 Platzer, André
2 Roche, Daniel S.
2 Rouillier, Fabrice
2 Safey El Din, Mohab
2 Sato, Yosuke
2 Schost, Éric
1 Abbott, John A.
1 Abdeljaouad-Tej, I.
1 Arreche, Carlos E.
1 Asarin, Eugene
1 Becker, Bernd
1 Bigatti, Anna Maria
1 Bläser, Markus
1 Bley, Werner
1 Bouzidi, Yacine
1 Brain, Martin
1 Breuning, Manuel
1 Brown, Christopher W.
1 Buchberger, Bruno
1 Burger, Reinhold
1 Caruso, Xavier
1 Casagrande, Alberto
1 Chen, Xiaoyu
1 Cimatti, Alessandro
1 Clarke, Edmund Melson jun.
1 Combot, Thierry
1 Corless, Robert Malcolm
1 De Feo, Luca
1 de Wolff, Timo
1 Diatta, Daouda Niang
1 Diekert, Volker
1 Doliskani, Javad
1 Dreossi, Tommaso
1 Dressler, Mareike
1 Duarte-Mermoud, Manuel A.
1 Dumas, Jean-Guillaume
1 Emiris, Ioannis Z.
1 Feng, Ruyong
1 Fontaine, Pascal
1 Forrest, Stephen
1 Friberg, Henrik A.
1 Gandy, Silvia
1 Garcia-Morchon, Oscar
1 Gaudry, Pierrick
1 Geist, Stephanie
1 Giorgi, Pascal
1 Girard, Antoine
1 Gomez-Perez, Domingo
1 Gómez Torrecillas, José
1 Grasegger, Georg
1 Grenet, Bruno
1 Griggio, Alberto
1 Gromov, Dmitry
1 Gross, Elizabeth
1 Gutierrez, Jaime
1 Hauenstein, Jonathan D.
1 Haywood, Ian
1 Heinle, Albert
1 Hong, Myunghoon
1 Hori, Yutaka
...and 98 more Authors

Citations by Year