Author:
Zimmer Michael,Rebner Gabor,Krämer Walter
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference41 articles.
1. Anderson E, Bai Z, Bischof C, Blackford S, Demmel J, Dongarra J, Croz JD, Greenbaum A, Hammarling S, McKenney A, Sorensen D (1999) LAPACK Users’ Guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia
2. Auer E, Luther W (2009) Numerical verification assessment in computational biomechanics. In: Proceedings of Dagstuhl seminar 08021. Numerical validation in current hardware architectures. Lecture notes in computer science, vol 5492. Springer, Berlin/Heidelberg, pp 145–160. doi: 10.1007/978-3-642-01591-5_9
3. Auer E, Luther W, Rebner G, Limbourg P (2010) A Verified MATLAB Toolbox for the Dempster–Shafer Theory. In: Proceedings of the workshop on the theory of belief functions. http://www.ensieta.fr/belief2010/papers/p83.pdf , http://www.udue.de/DSI
4. Blackford L, Demmel J, Dongarra J, Duff I, Hammarling S, Henry G, Heroux M, Kaufman L, Lumsdaine A, Petitet A, Pozo R, Remington K, Whaley R (2002) An updated set of basic linear algebra subprograms (BLAS). ACM Trans Math Soft 28(2):135–151
5. Blomquist F, Krämer W, Hofschuster W (2005) Real and complex Taylor arithmetic in C-XSC. BUW-WRSWT (preprints 2005(3))
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献