Author:
Milani Cleber Roberto,Kolberg Mariana,Fernandes Luiz Gustavo
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Hayes, B.: A Lucid Interval. American Scientist 91(6), 484–488 (2003)
2. Hammer, R., Ratz, D., Kulisch, U., Hocks, M.: C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems. Springer, New York (1997)
3. Kolberg, M., Dorn, M., Bohlender, G., Fernandes, L.G.: Parallel Verified Linear System Solver for Uncertain Input Data. In: Proceedings of 20th SBAC-PAD - International Symposium on Computer Architecture and High Performance Computing, pp. 89–96 (2008)
4. Kearfott, R.: Interval Computations: Introduction, Uses, and Resources. Euromath Bulletin 2(1), 95–112 (1996)
5. Demmel, J.: LAPACK: A Portable Linear Algebra Library for Supercomputers. In: Proceedings of IEEE Control Systems Society Workshop on Computer-Aided Control System Design, pp. 1–7 (1989)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献