Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Gtz Alefeld Siegfried Rump

Summary: Götz Alefeld
Jifi Rohn
Siegfried Rump
Tetsuro Yamamoto (eds.)
Symbolic AIgebraic Methods and
Verification Methods
SpringerWienN ewYork
--- -
Univ. -Prof. Dr. Götz Alefeld
Institut für Angewandte Mathematik, Universität Karlsruhe, Deutschland
Prof. Dr. Jiii Rohn
Mathematisch-Physikalische Fakultät, Universität Karlovy, Prag, Tschechien
Prof. Dr. Siegfiied Rump
Technische Infonnatik III, Technische Universität Hamburg, Deutschland
Prof. Dr. Tetsuro Yamamoto
Department ofMathematical Science, Ehime University, Matsuyama, Japan
This work is subject to copyright.
All rights are reserved, whether the whole or part of the material is concemed,
specifically those of translation, reprinting, re-use of illustrations, broadcasting,
reproduction by photocopying machines or similar means, and storage


Source: Alefeld, Götz - Institut für Angewandte und Numerische Mathematik & Fakultät für Mathematik, Universität Karlsruhe


Collections: Mathematics