The following pages link to (Q3732843):
Displaying 13 items.
- Robust Hurwitz stability via sign-definite decomposition (Q630511) (← links)
- On nonsingularity of a polytope of matrices (Q935386) (← links)
- Lower bound functions for polynomials (Q1405189) (← links)
- Comparison of interval methods for plotting algebraic curves (Q1608860) (← links)
- Matrix methods for the simplicial Bernstein representation and for the evaluation of multivariate polynomials (Q1740149) (← links)
- TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties (Q1993019) (← links)
- Matrix methods for the tensorial Bernstein form (Q2008413) (← links)
- A subdivision algorithm to reason on high-degree polynomial constraints over finite domains (Q2294575) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- Bounds for the range of a complex polynomial over a rectangular region (Q2656078) (← links)
- Creating Transformations for Matrix Obfuscation (Q3392930) (← links)
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics (Q5244700) (← links)
- Convergence of the Simplicial Rational Bernstein Form (Q5357007) (← links)
