共 19 条
- [1] Mathematica Connectivity to Interval Libraries filib plus plus and C-XSC NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 117 - 132
- [2] Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 230 - 249
- [3] C-XSC and Closely Related Software Packages NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 68 - +
- [4] High performance verified computing using C-XSC COMPUTATIONAL & APPLIED MATHEMATICS, 2013, 32 (03): : 385 - 400
- [6] Using C-XSC for High Performance Verified Computing APPLIED PARALLEL AND SCIENTIFIC COMPUTING, PT II, 2012, 7134 : 168 - 178
- [8] High performance verified computing using C-XSC Computational and Applied Mathematics, 2013, 32 : 385 - 400
- [9] Arbitrary Precision Complex Interval Computations in C-XSC PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT II, 2012, 7204 : 457 - 466
- [10] Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 103 - 116