The following pages link to (Q4434828):
Displaying 7 items.
- SYNRAC (Q13686) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← 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)
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
- Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation (Q3644098) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)