Search the dblp DataBase
Hirokazu Anai :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hirokazu Anai , Volker Weispfenning Reach Set Computations Using Real Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] HSCC, 2001, pp:63-76 [Conf ] Hirokazu Anai , Hitoshi Yanami SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science, 2003, pp:828-837 [Conf ] Hitoshi Yanami , Hirokazu Anai Development of SyNRAC-Formula Description and New Functions. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science, 2004, pp:286-294 [Conf ] Hitoshi Yanami , Hirokazu Anai Development of SyNRAC. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (3), 2005, pp:602-610 [Conf ] Hitoshi Yanami , Hirokazu Anai Development of SyNARC. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2006, pp:462-469 [Conf ] Hirokazu Anai , Shinji Hara , Kazuhiro Yokoyama Sum of roots with positive real parts. [Citation Graph (0, 0)][DBLP ] ISSAC, 2005, pp:21-28 [Conf ] Hirokazu Anai , Volker Weispfenning Deciding linear-trigonometric problems. [Citation Graph (0, 0)][DBLP ] ISSAC, 2000, pp:14-22 [Conf ] Masaaki Kanno , Hirokazu Anai , Kazuhiro Yokoyama On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization. [Citation Graph (0, 0)][DBLP ] Numerical Methods and Applications, 2006, pp:320-328 [Conf ] Hirokazu Anai , Shigeo Orii , Katsuhisa Horimoto Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] J. Bioinformatics and Computational Biology, 2006, v:4, n:5, pp:1097-1118 [Journal ] Hiroshi Yoshida , Koji Nakagawa , Hirokazu Anai , Katsuhisa Horimoto An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. [Citation Graph (0, 0)][DBLP ] CASC, 2007, pp:433-447 [Conf ] Masaaki Kanno , Kazuhiro Yokoyama , Hirokazu Anai , Shinji Hara Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:211-218 [Conf ] Hiroshi Yoshida , Koji Nakagawa , Hirokazu Anai , Katsuhisa Horimoto Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. [Citation Graph (0, 0)][DBLP ] AB, 2007, pp:110-124 [Conf ] Hitoshi Yanami , Hirokazu Anai The Maple package SyNRAC and its application to robust control design. [Citation Graph (0, 0)][DBLP ] Future Generation Comp. Syst., 2007, v:23, n:5, pp:721-726 [Journal ] Symbolic optimization of algebraic functions. [Citation Graph (, )][DBLP ] Solution of algebraic riccati equations using the sum of roots. [Citation Graph (, )][DBLP ] Editorial. [Citation Graph (, )][DBLP ] Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs