KIT | KIT-Bibliothek | Impressum | Datenschutz

Symbolic algebraic methods and verification methods

Alefeld, Götz [Hrsg.]; Rohn, J. [Hrsg.]; Rump, S. [Hrsg.]; Yamaoto, T. [Hrsg.]


Zugehörige Institution(en) am KIT Fakultät für Mathematik – Institut für Angewandte Mathematik (Inst. f. Ang. Math.)
Publikationstyp Buch
Publikationsjahr 2001
Sprache Englisch
Identifikator KITopen-ID: 16812001
Erscheinungsvermerk Wien 2001.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page