The following pages link to SYNRAC (Q13686):
Displaying 25 items.
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems (Q359900) (← links)
- A symbolic-numeric approach to multi-objective optimization in manufacturing design (Q359903) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Constraint Markov chains (Q554215) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- Computational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part I (Q873966) (← links)
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- Computational science -- ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2--4, 2003. Proceedings, Part I (Q1407729) (← links)
- Positive solutions of systems of signed parametric polynomial inequalities (Q1798326) (← links)
- An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming (Q1994127) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (Q2512544) (← links)
- Computational science -- ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III. (Q2572497) (← links)
- On the Implementation of CGS Real QE (Q2819213) (← links)
- Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems (Q2819755) (← links)
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
- On the Computation of the Defining Polynomial of the Algebraic Riccati Equation (Q3508487) (← links)
- Development of SyNRAC (Q3545111) (← links)
- Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation (Q3644098) (← links)
- CGSQE/SyNRAC (Q5270200) (← links)
- A parameter space approach to fixed-order robust controller synthesis by quantifier elimination (Q5423848) (← links)
- Computational Science – ICCS 2005 (Q5709735) (← links)
- Computational Science - ICCS 2004 (Q5712773) (← links)
- (Q5747923) (← links)
