Computer algebra for guaranteed accuracy. How does it help?
From MaRDI portal
Publication:849196
DOI10.1007/BF03186547zbMath1191.68889MaRDI QIDQ849196
Publication date: 25 February 2010
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033794
interval methodsalgebraic methodscontrol systems designguaranteed accuracy computationvalidated numerical methods
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Special issue: Reliability engineering computing. Papers based on the presentations at the workshop, Savannah, GA, USA, September 2004.
- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
- Efficient computation of zero-dimensional Gröbner bases by change of ordering
- An efficient method for analyzing the topology of plane real algebraic curves.
- Approximate quantified constraint solving by cylindrical box decomposition
- A modular method to compute the rational univariate representation of zero-dimensional ideals
- Robust control. Systems with uncertain physical parameters. In co-operation with A. Bartlett, D. Kaesbauer, W. Sienel, R. Steinhauser
- Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems
- Cylindrical algebraic decomposition using validated numerics
- Visualizing parametric solution sets
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Interval Methods for Systems of Equations
- A Test for Existence of Solutions to Nonlinear Systems
- Accuracy and Stability of Numerical Algorithms
- A survey of spectral factorization methods
- A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
- On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization
- Self-validating methods
This page was built for publication: Computer algebra for guaranteed accuracy. How does it help?
