References in zbMATH (referenced in 21 articles , 2 standard articles )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On the implementation of CGS real QE (2016)
  2. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  3. Hong, Hoon; Tang, Xiaoxian; Xia, Bican: Special algorithm for stability analysis of multistable biological regulatory systems (2015)
  4. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  5. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: SyNRAC: a toolbox for solving real algebraic constraints (2014)
  6. Brown, Christopher W.: Fast simplifications for Tarski formulas based on monomial inequalities (2012)
  7. Hong, Hoon; El Din, Mohab Safey: Variant quantifier elimination (2012)
  8. Caillaud, Beno{^ı}t; Delahaye, Beno{^ı}t; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej: Constraint Markov chains (2011)
  9. Ichihara, Hiroyuki; Anai, Hirokazu: An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems (2011)
  10. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: A symbolic-numeric approach to multi-objective optimization in manufacturing design (2011)
  11. Yanami, Hitoshi: Multi-objective design based on symbolic computation and its application to hard disk slider design (2009)
  12. Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu: Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (2007)
  13. Kitamoto, Takuya; Yamaguchi, Tetsu: On the computation of the defining polynomial of the algebraic Riccati equation (2007)
  14. Alexandrov, Vassil N. (ed.); van Albada, Geert Dick (ed.); Sloot, Peter M. A. (ed.); Dongarra, Jack (ed.): Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part I (2006)
  15. Anai, H.; Hara, S.: A parameter space approach to fixed-order robust controller synthesis by quantifier elimination (2006)
  16. Yanami, Hitoshi; Anai, Hirokazu: Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization (2006)
  17. Sunderam, Vaidy S. (ed.); van Albada, Geert Dick (ed.); Sloot, Peter M. A. (ed.); Dongarra, Jack J. (ed.): Computational science -- ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III. (2005)
  18. Yanami, Hitoshi; Anai, Hirokazu: Development of SyNRAC (2005)
  19. Yanami, Hitoshi; Anai, Hirokazu: Development of SyNRAC -- formula description and new functions (2004)
  20. Anai, Hirokazu; Yanami, Hitoshi: SYNRAC: A Maple-package for solving real algebraic constraints (2003)

1 2 next