SYNRAC
From MaRDI portal
Software:13686
swMATH942MaRDI QIDQ13686FDOQ13686
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/37cq4lw9am3tydv4/fulltext.pdf
Cited In (38)
- VerifyRealRoots
- Multi-objective design based on symbolic computation and its application to hard disk slider design
- 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
- On the implementation of CGS real QE
- 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
- 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
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- Special algorithm for stability analysis of multistable biological regulatory systems
- QEPCAD
- RAGlib
- DISCOVERER
- AQCS
- SgpDec
- CUMODP
- IFSGen4LaTeX
- Ncvtk
- Metalibm
- Emscripten
- Development of SyNRAC
- CGSQE
- Tarski
- Positive solutions of systems of signed parametric polynomial inequalities
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings
- 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
- CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
- Variant quantifier elimination
This page was built for software: SYNRAC
