Publication:3139698
From MaRDI portal
zbMath0796.65066MaRDI QIDQ3139698
Publication date: 10 October 1994
numerical example; eigenvalues; eigenvectors; interval arithmetic; logistic equation; matrix exponentials; systems of linear equations; evaluation of polynomials; variable precision; computer arithmetic; orbits of dynamic systems; staggered form
65G30: Interval and finite arithmetic
Related Items
Multiple/arbitrary precision interval computations in C-XSC, Computational complexity of iterated maps on the interval, The exact dot product as basic tool for long interval arithmetic, Very fast and exact accumulation of products, Verified integration of linear \(n\)th order ODEs using large steps
Uses Software