Solvers for the verified solution of parametric linear systems.

Michael Zimmer Walter Krämer Evgenija D. Popova

Published in: Computing (2012)

Keyphrases

linear systems
linear equations
sufficient conditions
dynamical systems
coefficient matrix
sparse linear systems
integral equation
neural network
feature selection
optimal solution
evolutionary algorithm
optimization method
pid controller