SYNRAC

swMATH942MaRDI QIDQ13686FDOQ13686

Author name not available (Why is that?)

Described by source

• SyNRAC: A Toolbox for Solving Real Algebraic Constraints
• Unnamed Publication

Cited In (25)

• Computational science -- ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III.
• 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
• Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
• Computational science -- ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2--4, 2003. Proceedings, Part I
• Fast simplifications for Tarski formulas based on monomial inequalities
• Computational Science - ICCS 2004
• On the Implementation of CGS Real QE
• 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
• Special algorithm for stability analysis of multistable biological regulatory systems
• Development of SyNRAC
• CGSQE/SyNRAC
• Positive solutions of systems of signed parametric polynomial inequalities
• Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
• Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings
• Title not available (Why is that?)
• Real quantifier elimination by computation of comprehensive Gröbner systems
• A symbolic-numeric approach to multi-objective optimization in manufacturing design
• An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems
• Computational Science – ICCS 2005
• Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
• Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods
• Variant quantifier elimination

This page was built for software: SYNRAC