SYNRAC

From MaRDI portal
Revision as of 20:07, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:13686



swMATH942MaRDI QIDQ13686


No author found.




No records found.


Related Items (25)

An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systemsA symbolic-numeric approach to multi-objective optimization in manufacturing designComputational science -- ICCS 2006. 6th international conference, Reading, UK, May 28--31, 2006. Proceedings, Part IOn the Computation of the Defining Polynomial of the Algebraic Riccati EquationFast simplifications for Tarski formulas based on monomial inequalitiesVariant quantifier eliminationComputational science -- ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2--4, 2003. Proceedings, Part ICGSQE/SyNRACDevelopment of SyNRACAnalysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methodsComputational Science – ICCS 2005Solving and visualizing nonlinear parametric constraints in control based on quantifier eliminationComputational Science - ICCS 2004An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programmingA parameter space approach to fixed-order robust controller synthesis by quantifier eliminationConstraint Markov chainsMathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. ProceedingsPositive solutions of systems of signed parametric polynomial inequalitiesOn the Implementation of CGS Real QEReal Quantifier Elimination by Computation of Comprehensive Gröbner SystemsAlgebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati EquationEfficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical AlgorithmsComputational 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 systemsUnnamed Item


This page was built for software: SYNRAC