Edit Profile Anai, Hirokazu Compute Distance To: Compute Author ID: anai.hirokazu Published as: Anai, H.; Anai, Hirokazu Documents Indexed: 49 Publications since 1995, including 2 Books all top 5 Co-Authors 4 single-authored 13 Iwane, Hidenao 11 Yanami, Hitoshi 10 Yokoyama, Kazuhiro 8 Hara, Shinji 8 Kanno, Masaaki 4 Horimoto, Katsuhisa 4 Weispfenning, Volker 4 Yoshida, Hiroshi 3 Kira, Akifumi 3 Matsuzaki, Takuya 2 Arai, Noriko H. 2 Ichihara, Hiroyuki 2 Kobayashi, Munehiro 2 Nakagawa, Koji 1 Chazal, Frédéric 1 Fujisawa, Katsuki 1 Fukasaku, Ryoya 1 Gandy, Silvia 1 Glisse, Marc 1 Higuchi, Hiroyuki 1 Hong, Hoon 1 Hong, Myunghoon 1 Hyodo, Noriko 1 Ike, Yuichi 1 Inakoshi, Hiroya 1 Iwashita, Hiroaki 1 Kamiyama, Naoyuki 1 Kimura, Yutaka 1 Kondo, Takeshi 1 Kudo, Jumma 1 Kutsia, Temur 1 Noro, Masayuki 1 Ohori, Kotaro 1 Sato, Yousuke 1 Suzuki, Masakazu 1 Takeshima, Taku 1 Tinarrage, Raphaël 1 Umeda, Yuhei 1 Yap, Chee-Keng 1 Zhan, Yiyang all top 5 Serials 7 RIMS Kokyuroku 4 Mathematics in Computer Science 1 International Journal of Control 1 Journal of the Operations Research Society of Japan 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Japan Journal of Industrial and Applied Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 Communications in Information and Systems 1 Lecture Notes in Computer Science 1 COE Lecture Note 1 Journal of Math-for-Industry 1 Pacific Journal of Mathematics for Industry all top 5 Fields 36 Computer science (68-XX) 15 Systems theory; control (93-XX) 12 Mathematical logic and foundations (03-XX) 8 Numerical analysis (65-XX) 7 Commutative algebra (13-XX) 7 Operations research, mathematical programming (90-XX) 4 Field theory and polynomials (12-XX) 3 Number theory (11-XX) 3 Algebraic geometry (14-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68433Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro 59 2013 Reach set computations using real quantifier elimination. Zbl 0991.93008Anai, Hirokazu; Weispfenning, Volker 10 2002 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 A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. Zbl 1133.93018Anai, H.; Hara, S. 6 2006 Computation of the splitting fields and the Galois groups of polynomials. - Appendix. Zbl 0867.12006Anai, H.; Noro, M.; Yokoyama, K. 6 1996 Mathematics by machine. Zbl 1325.68212Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu 5 2014 Sum of roots with positive real parts. Zbl 1360.68912Anai, Hirokazu; Hara, Shinji; Yokoyama, Kazuhiro 4 2005 SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960Anai, Hirokazu; Yanami, Hitoshi 4 2003 Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. Zbl 1180.13036Anai, Hirokazu; Hara, Shinji; Kanno, Masaaki; Yokoyama, Kazuhiro 3 2009 Development of SyNRAC. Zbl 1120.68467Yanami, Hitoshi; Anai, Hirokazu 3 2005 Reach set computations using real quantifier elimination. Zbl 0985.68755Anai, Hirokazu; Weispfenning, Volker 3 2001 An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. Zbl 1346.68289Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2 2011 Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Zbl 1167.68467Hyodo, 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.65349Kanno, Masaaki; Anai, Hirokazu; Yokoyama, Kazuhiro 2 2007 Development of SyNRAC – formula description and new functions. Zbl 1102.68749Yanami, Hitoshi; Anai, Hirokazu 2 2004 Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 06585029Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu 1 2016 SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005Iwane, 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.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 Inference of probabilities over a stochastic IL-system by quantifier elimination. Zbl 1152.92006Yoshida, Hiroshi; Horimoto, Katsuhisa; Anai, Hirokazu 1 2008 Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. Zbl 1190.93061Kanno, Masaaki; Yokoyama, Kazuhiro; Anai, Hirokazu; Hara, Shinji 1 2007 Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization. Zbl 1155.68599Yanami, Hitoshi; Anai, Hirokazu 1 2006 Deciding linear-trigonometric problems. Zbl 0985.03516Anai, Hirokazu; Weispfenning, Volker 1 2001 On solving semidefinite programming by quantifier elimination. Zbl 0944.90577Anai, Hirokazu 1 1998 Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 06585029Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu 1 2016 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 Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. Zbl 1180.13036Anai, Hirokazu; Hara, Shinji; Kanno, Masaaki; Yokoyama, Kazuhiro 3 2009 Inference of probabilities over a stochastic IL-system by quantifier elimination. Zbl 1152.92006Yoshida, Hiroshi; Horimoto, Katsuhisa; Anai, Hirokazu 1 2008 Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Zbl 1167.68467Hyodo, 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.65349Kanno, Masaaki; Anai, Hirokazu; Yokoyama, Kazuhiro 2 2007 Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. Zbl 1190.93061Kanno, Masaaki; Yokoyama, Kazuhiro; Anai, Hirokazu; Hara, Shinji 1 2007 A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. Zbl 1133.93018Anai, H.; Hara, S. 6 2006 Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization. Zbl 1155.68599Yanami, Hitoshi; Anai, Hirokazu 1 2006 Sum of roots with positive real parts. Zbl 1360.68912Anai, Hirokazu; Hara, Shinji; Yokoyama, Kazuhiro 4 2005 Development of SyNRAC. Zbl 1120.68467Yanami, Hitoshi; Anai, Hirokazu 3 2005 Development of SyNRAC – formula description and new functions. Zbl 1102.68749Yanami, Hitoshi; Anai, Hirokazu 2 2004 SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960Anai, Hirokazu; Yanami, Hitoshi 4 2003 Reach set computations using real quantifier elimination. Zbl 0991.93008Anai, Hirokazu; Weispfenning, Volker 10 2002 Reach set computations using real quantifier elimination. Zbl 0985.68755Anai, Hirokazu; Weispfenning, Volker 3 2001 Deciding linear-trigonometric problems. Zbl 0985.03516Anai, Hirokazu; Weispfenning, Volker 1 2001 On solving semidefinite programming by quantifier elimination. Zbl 0944.90577Anai, Hirokazu 1 1998 Computation of the splitting fields and the Galois groups of polynomials. - Appendix. Zbl 0867.12006Anai, H.; Noro, M.; Yokoyama, K. 6 1996 all cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Serials 13 Journal of Symbolic Computation 7 Mathematics in Computer Science 4 Applicable Algebra in Engineering, Communication and Computing 3 Formal Methods in System Design 2 International Journal of Control 1 Acta Informatica 1 Mathematics of Computation 1 Chaos, Solitons and Fractals 1 Automatica 1 Illinois Journal of Mathematics 1 Journal of Pure and Applied Algebra 1 Theoretical Computer Science 1 Information and Computation 1 Journal of Automated Reasoning 1 Japan Journal of Industrial and Applied Mathematics 1 Discrete Event Dynamic Systems 1 Nonlinear Analysis. Hybrid Systems 1 ACM Communications in Computer Algebra 1 Mathematical Programming Computation 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 29 Fields 86 Computer science (68-XX) 22 Numerical analysis (65-XX) 20 Commutative algebra (13-XX) 16 Field theory and polynomials (12-XX) 15 Algebraic geometry (14-XX) 13 Mathematical logic and foundations (03-XX) 13 Systems theory; control (93-XX) 10 Number theory (11-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Ordinary differential equations (34-XX) 5 Approximations and expansions (41-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Operations research, mathematical programming (90-XX) 4 Information and communication theory, circuits (94-XX) 3 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 3 Special functions (33-XX) 3 Partial differential equations (35-XX) 3 Biology and other natural sciences (92-XX) 2 Group theory and generalizations (20-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Real functions (26-XX) 1 Operator theory (47-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year