This page uses Javascript. Please enable Javascript features in your browser.
Verified Formula Evaluation in
Symbolic Algebra Systems and
Object Oriented Programming Environments
by
Andreas Steins
Library ADE for Verified Formula Evaluation: A short outline
Thesis
»Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen«
(Andreas Steins)
Download (for SPARC-Binaries: Motif »libXm.so.2« expected; if necessary create a symbolic link):
Binary library ADE and dependents for SPARC/Solaris 2.x and for Linux
Binary xmvcalc for
SPARC/Solaris 2.x
and for
Linux
Binary xmvfplot for
SPARC/Solaris 2.x
and for
Linux
Sources for all of the above mentioned software
Installation Hints
©
A
ndreas
S
teins