Verified Error Bounds for Linear Systems Through the Lanczos Process.

Andreas Frommer Andre Weinberg

Published in: SCAN (1998)

Keyphrases

error bounds
linear systems
sufficient conditions
linear equations
theoretical analysis
real time
genetic algorithm
worst case