Skip to main content
SpringerLink
Log in

Symbolic Algebraic Methods and Verification Methods

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Götz Alefeld

    1. Institut fûr Angewandte Mathematik, Universitüt Karlsruhe, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jiří Rohn

    1. Mathematisch-Physikalische Fakultüt, Universitüt Karlovy, Prag, Tschechien, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Siegfried Rump

    1. Technische Informatik III, Technische Universitüt Hamburg, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Tetsuro Yamamoto

    1. Department of Mathematical Science, Ehime University, Matsuyama, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Introduction

    • Alefeld G., Rohn J., Rump S. M., Yamamoto T.
    Pages 1-2

  3. Topological Concepts for Hierarchies of Variables, Types and Controls

    • Rudolf F. Albrecht
    Pages 3-10

  4. Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem

    • Götz Alefeld, V. Kreinovich, Günter Mayer
    Pages 11-20

  5. Symbolic-Numeric Algorithms for Polynomials: some recent results

    • Robert M. Corless
    Pages 21-33

  6. Symbolic-Numeric QD-algorithms with applications in Function theory and Linear algebra

    • Annie Cuyt
    Pages 35-54

  7. Isoefficiency and the Parallel Descartes Method

    • Thomas Decker, Werner Krandick
    Pages 55-67

  8. Matrix Methods for Solving Algebraic Systems

    • Ioannis Z. Emiris
    Pages 69-78

  9. A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure

    • Andreas Frommer
    Pages 79-86

  10. Solution of Systems of Polynomial Equations by Using Bernstein Expansion

    • Jürgen Garloff, Andrew P. Smith
    Pages 87-97

  11. Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming

    • David M. Gay
    Pages 99-106

  12. Translation of Taylor series into LFT expansions

    • Reinhold Heckmann
    Pages 107-116

  13. Quasi Convex-Concave Extensions

    • Christian Jansson
    Pages 117-127

  14. Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic

    • Deepak Kapur
    Pages 129-144

  15. Derivative-Based Subdivision in Multi-Dimensional Verified Gaussian Quadrature

    • B. Lang
    Pages 145-152

  16. On the Shape of the Fixed Points of [f]([x]) = [A] [x] + [b]

    • G. Mayer, I. Warnke
    Pages 153-162

  17. Exact Computation with leda_real — Theory and Geometrie Applications

    • Kurt Mehlhorn, Stefan Schirra
    Pages 163-172

  18. Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations

    • Teruya Minamoto
    Pages 173-181

  19. Geometric Series Bounds for the Local Errors of Taylor Methods for Linear n-th Order ODEs

    • Markus Neher
    Pages 183-193

  20. Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems

    • Michael Plum
    Pages 195-207
Back to top

Keywords

Editors and Affiliations

  • Institut fûr Angewandte Mathematik, Universitüt Karlsruhe, Deutschland

    Götz Alefeld

  • Mathematisch-Physikalische Fakultüt, Universitüt Karlovy, Prag, Tschechien, Czech Republic

    Jiří Rohn

  • Technische Informatik III, Technische Universitüt Hamburg, Deutschland

    Siegfried Rump

  • Department of Mathematical Science, Ehime University, Matsuyama, Japan

    Tetsuro Yamamoto

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation