| Forschungsbericht 1997 - 1999 | ||
| Forschungsbericht Fachbereich 07 | Fachbereich 07: Mathematik |
Prof. Dr. W. Krämer
Verifikation und Computeralgebra: Das Paket intpakX zur Implementierung von Verifikationsalgorithmen und deren Visualisierung als Ergänzung der Maple Share-Library
Schlagworte: Verifikationsnumerik, Computeralgebra, Maple, intpakX