This page uses Javascript. Please enable Javascript features in your browser.
Verifizierte Formelauswertung in
Computer-Algebra-Systemen und
objektorientierten Programmierumgebungen
von
Andreas Steins
Bibliothek ADE für verifizierte Formelauswertung: Ein kurzer Überblick
Dissertation
»Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen«
(Andreas Steins)
Download (für die SPARC-Binaries: Motif »libXm.so.2« wird erwartet; notwendigenfalls legen Sie bitte einen symbolischen Link an):
Bibliothek ADE und abhängige Bibliotheken für SPARC/Solaris 2.x und für Linux
Binärversion xmvcalc für
SPARC/Solaris 2.x
und für
Linux
Binärversion xmvfplot für
SPARC/Solaris 2.x
und für
Linux
Quellen für die gesamte genannte Software
Installationstips
©
A
ndreas
S
teins