Solvers for the verified solution of parametric linear systems
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Krämer, Walter: High performance verified computing using C-XSC (2013)
- Zimmer, Michael; Rebner, Gabor; Krämer, Walter: An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory (2013)
- Zimmer, Michael; Krämer, Walter; Popova, Evgenija D.: Solvers for the verified solution of parametric linear systems (2012)
- Krämer, Walter; Zimmer, Michael: Fast (parallel) dense linear system solvers in C-XSC using error free transformations and BLAS (2009)