References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Krämer, Walter: High performance verified computing using C-XSC (2013)
  2. 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) ioport
  3. Zimmer, Michael; Krämer, Walter; Popova, Evgenija D.: Solvers for the verified solution of parametric linear systems (2012)
  4. Krämer, Walter; Zimmer, Michael: Fast (parallel) dense linear system solvers in C-XSC using error free transformations and BLAS (2009) ioport