Advertisement

Symbolic Algebraic Methods and Verification Methods

  • Götz Alefeld
  • Jiří Rohn
  • Siegfried Rump
  • Tetsuro Yamamoto
Conference proceedings

Table of contents

  1. Front Matter
    Pages I-IX
  2. Alefeld G., Rohn J., Rump S. M., Yamamoto T.
    Pages 1-2
  3. Götz Alefeld, V. Kreinovich, Günter Mayer
    Pages 11-20
  4. Thomas Decker, Werner Krandick
    Pages 55-67
  5. Ioannis Z. Emiris
    Pages 69-78
  6. Reinhold Heckmann
    Pages 107-116
  7. Christian Jansson
    Pages 117-127
  8. Siegfried M. Rump
    Pages 209-226
  9. Jens-Peter M. Zemke
    Pages 255-266
  10. Back Matter
    Pages 267-269

About these proceedings

Keywords

Algorithms MATLAB Variable algebra algorithm computer computer science linear algebra modeling numerical methods optimization programming verification

Editors and affiliations

  • Götz Alefeld
    • 1
  • Jiří Rohn
    • 2
  • Siegfried Rump
    • 3
  • Tetsuro Yamamoto
    • 4
  1. 1.Institut fûr Angewandte MathematikUniversitüt KarlsruheDeutschland
  2. 2.Mathematisch-Physikalische FakultütUniversitüt KarlovyPrag, TschechienCzech Republic
  3. 3.Technische Informatik IIITechnische Universitüt HamburgDeutschland
  4. 4.Department of Mathematical ScienceEhime UniversityMatsuyamaJapan

Bibliographic information

Industry Sectors
Energy, Utilities & Environment
Engineering