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

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

1 2 next

  1. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems (2016)
  2. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On the implementation of CGS real QE (2016)
  3. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  4. Hong, Hoon; Tang, Xiaoxian; Xia, Bican: Special algorithm for stability analysis of multistable biological regulatory systems (2015)
  5. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  6. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: SyNRAC: a toolbox for solving real algebraic constraints (2014)
  7. Brown, Christopher W.: Fast simplifications for Tarski formulas based on monomial inequalities (2012)
  8. Hong, Hoon; El Din, Mohab Safey: Variant quantifier elimination (2012)
  9. Caillaud, Beno{^ı}t; Delahaye, Beno{^ı}t; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej: Constraint Markov chains (2011)
  10. Ichihara, Hiroyuki; Anai, Hirokazu: An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems (2011)
  11. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: A symbolic-numeric approach to multi-objective optimization in manufacturing design (2011)
  12. Yanami, Hitoshi: Multi-objective design based on symbolic computation and its application to hard disk slider design (2009)
  13. Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu: Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (2007)
  14. Kitamoto, Takuya; Yamaguchi, Tetsu: On the computation of the defining polynomial of the algebraic Riccati equation (2007)
  15. Yanami, Hitoshi; Anai, Hirokazu: Synrac: a Maple toolbox for solving real algebraic constraints (2007) ioport
  16. 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)
  17. Anai, H.; Hara, S.: A parameter space approach to fixed-order robust controller synthesis by quantifier elimination (2006)
  18. Yanami, Hitoshi; Anai, Hirokazu: Development of SyNRAC. Real quantifier elimination based on cylindrical algebraic decomposition and visialization (2006)
  19. 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)
  20. Yanami, Hitoshi; Anai, Hirokazu: Development of SyNRAC (2005)

1 2 next