Skip to main content
SpringerLink
Log in

Verified solving of linear systems with uncertainties in Maple

  • Conference paper
  • First Online:
Numerical Analysis and Its Applications (WNAA 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1196))

Included in the following conference series:

  • 260 Accesses

Abstract

An algorithm with result verification for linear systems involving uncertainties in the input data is realized for Maple. We give an overview on the collection of procedures designed as a package and report on numerical experiments which confirm the feasibility of implementing such algorithms in computer algebra systems. The package will be made available under the name Velisy for the Maple share library.

This work has been partially supported by the National Science Fund under grant No. MM 521/95 and by the Swiss National Science Foundation

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M.: Maple V Language Reference Manual. Springer Verlag (1991)

    Google Scholar 

  2. Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M.: First Leaves: A Tutorial Introduction to Maple V. Springer Verlag (1992)

    Google Scholar 

  3. Maple V Release 3 for DOS and Windows. Getting started. Waterloo Maple Software (1994)

    Google Scholar 

  4. Connel, A. E., Corless, R. M.: An Experimental Interval Arithmetic Package in Maple. Interval Computations 2 (1993) 120–134

    Google Scholar 

  5. Falcó Korn, C.: Die Erweiterung von Software-Bibliotheken zur effizienten Verifikation der Approximationslösung linearer Gleichungssysteme. PhD Thesis, Institut für Informatik, Universität Basel, Switzerland (1993)

    Google Scholar 

  6. Falcó Korn, C., Ullrich, C. P.: Extending LINPACK by Verification Routines for Linear Systems. Mathematics and Computers in Simulation 39 (1995) 21–37

    Google Scholar 

  7. Falcó Korn, C., Hörmann, B., Ullrich, C. P.: Verification may be Better than Estimation. To appear in SIAM Journal on Scientific Computing (1996) 6 pages

    Google Scholar 

  8. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing. Basic Numerical Problems; Theory, Algorithms and Pascal-XSC Programs. Springer Verlag (1993)

    Google Scholar 

  9. Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press (1990)

    Google Scholar 

  10. Rump, S. M.: Inclusion of the Solution of Large Linear Systems with M-matrix. Interval Computations 1(3) (1992) 22–43

    Google Scholar 

  11. Stoer, J.: Einführung in die numerische Mathematik I — vierte Auflage. Springer Verlag (1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Biophysics, Bulgarian Academy of Sciences, 1113, Sofia, Bulgaria

    Nelli S. Dimitrova

  2. Institute for Computer Science, University of Basel, 4056, Basel, Switzerland

    Christian P. Ullrich

Authors
  1. Nelli S. Dimitrova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian P. Ullrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lubin Vulkov Jerzy Waśniewski Plamen Yalamov

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dimitrova, N.S., Ullrich, C.P. (1997). Verified solving of linear systems with uncertainties in Maple. In: Vulkov, L., Waśniewski, J., Yalamov, P. (eds) Numerical Analysis and Its Applications. WNAA 1996. Lecture Notes in Computer Science, vol 1196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62598-4_88

Download citation

  • DOI: https://doi.org/10.1007/3-540-62598-4_88

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62598-8

  • Online ISBN: 978-3-540-68326-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation