Verified Error Bounds for Linear Systems
โ
Andreas Frommer; Andre Weinberg
๐
Article
๐
1999
๐
Springer
๐
English
โ 324 KB