Krämer, Walter
-
Serdica Journal of Computing Vol. 1 No. 4 (2007) - Articles
Computing and Visualizing Solution Sets of Interval Linear Systems
Abstract PDF -
Serdica Journal of Computing Vol. 1 No. 4 (2007) - Articles
Introduction to the Maple Power Tool Intpakx
Abstract PDF -
Serdica Journal of Computing Vol. 4 No. 1 (2010) - Articles
Computer-Assisted Proofs and Symbolic Computations
Abstract PDF -
Serdica Journal of Computing Vol. 4 No. 3 (2010) - Articles
Extension of the C-XSC Library with Scalar Products with Selectable Accuracy
Abstract PDF -
Serdica Journal of Computing Vol. 4 No. 1 (2010) - Articles
A Solver for Complex-Valued Parametric Linear Systems
Abstract PDF