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

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

1 2 next

  1. Dressler, Mareike; Iliman, Sadik; de Wolff, Timo: An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming (2019)
  2. Hong, Hoon; Sturm, Thomas: Positive solutions of systems of signed parametric polynomial inequalities (2018)
  3. Eraşcu, Mădălina: Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms (2016)
  4. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On the implementation of CGS real QE (2016)
  5. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems (2016)
  6. Niu, Wei; Shi, Jian; Mou, Chenqi: Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (2016)
  7. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  8. Hong, Hoon; Tang, Xiaoxian; Xia, Bican: Special algorithm for stability analysis of multistable biological regulatory systems (2015)
  9. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  10. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: SyNRAC: a toolbox for solving real algebraic constraints (2014)
  11. Brown, Christopher W.: Fast simplifications for Tarski formulas based on monomial inequalities (2012)
  12. Hong, Hoon; El Din, Mohab Safey: Variant quantifier elimination (2012)
  13. Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej: Constraint Markov chains (2011)
  14. Ichihara, Hiroyuki; Anai, Hirokazu: An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems (2011)
  15. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu: A symbolic-numeric approach to multi-objective optimization in manufacturing design (2011)
  16. Kitamoto, Takuya: Algebraic approach to the computation of the defining polynomial of the algebraic Riccati equation (2009)
  17. Yanami, Hitoshi: Multi-objective design based on symbolic computation and its application to hard disk slider design (2009)
  18. Hyodo, Noriko; Hong, Myunghoon; Yanami, Hitoshi; Hara, Shinji; Anai, Hirokazu: Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (2007)
  19. Kitamoto, Takuya; Yamaguchi, Tetsu: On the computation of the defining polynomial of the algebraic Riccati equation (2007)
  20. Yanami, Hitoshi; Anai, Hirokazu: Synrac: a Maple toolbox for solving real algebraic constraints (2007) ioport

1 2 next