|
BulDML at Institute of Mathematics and Informatics >
Browsing by Author "Krämer, Walter"
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) | Publisher | | 2010 | Computer-Assisted Proofs and Symbolic Computations | Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2007 | Computing and Visualizing Solution Sets of Interval Linear Systems | Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2010 | Extension of the C-XSC Library with Scalar Products with Selectable Accuracy | Zimmer, Michael; Krämer, Walter; Bohlender, Gerd; Hofschuster, Werner | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2007 | Introduction to the Maple Power Tool Intpakx | Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2010 | A Solver for Complex-Valued Parametric Linear Systems | Popova, Evgenija; Kolev, Lyubomir; Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
Showing results 1 to 5 of 5
|
