SYNRAC
From MaRDI portal
Software:13686
No author found.
No records found.
Related Items (25)
An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems ⋮ A symbolic-numeric approach to multi-objective optimization in manufacturing design ⋮ Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part I ⋮ On the Computation of the Defining Polynomial of the Algebraic Riccati Equation ⋮ Fast simplifications for Tarski formulas based on monomial inequalities ⋮ Variant quantifier elimination ⋮ Computational science -- ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2--4, 2003. Proceedings, Part I ⋮ CGSQE/SyNRAC ⋮ Development of SyNRAC ⋮ Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods ⋮ Computational Science – ICCS 2005 ⋮ Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination ⋮ Computational Science - ICCS 2004 ⋮ An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming ⋮ A parameter space approach to fixed-order robust controller synthesis by quantifier elimination ⋮ Constraint Markov chains ⋮ Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings ⋮ Positive solutions of systems of signed parametric polynomial inequalities ⋮ On the Implementation of CGS Real QE ⋮ Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems ⋮ Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation ⋮ Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms ⋮ Computational science -- ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III. ⋮ Special algorithm for stability analysis of multistable biological regulatory systems ⋮ Unnamed Item
This page was built for software: SYNRAC