KIT | KIT-Bibliothek | Impressum

Symbolic algebraic methods and verification methods

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



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