Section 21

You have free access to this content

A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers

  1. Thomas Beelitz,
  2. Christian H. Bischof2,
  3. Bruno Lang1

Article first published online: 27 DEC 2004

DOI: 10.1002/pamm.200410297

Issue

PAMM

PAMM

Volume 4, Issue 1, pages 632–633, December 2004

Additional Information

How to Cite

Beelitz, T., Bischof, C. H. and Lang, B. (2004), A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers. Proc. Appl. Math. Mech., 4: 632–633. doi: 10.1002/pamm.200410297

Author Information

  1. 1

    Bergische Universität Wuppertal, Fachbereich Mathematik und Naturwissenschaften, Scientific Computing, D-42097 Wuppertal, Germany

  2. 2

    RWTH Aachen, Lehrstuhl für Hochleistungsrechnen, D-52064 Aachen, Germany

Publication History

  1. Issue published online: 27 DEC 2004
  2. Article first published online: 27 DEC 2004

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (148K)

References

  • [1]
    Bischof, C. H., Lang, B., Marquardt, W., Mönnigmann, M., Verified determination of singularities in chemical processes, In: Krämer, W. et al., Eds., Scientific Computing, Validated Numerics, Interval Methods, Kluwer/Plenum, New York (2001), 305–316.
  • [2]
    Golubitsky, M., Schaeffer, D. G., Singularities and Groups in Bifurcation Theory, Vol. I. Springer, New York (1985).
  • [3]
    Hansen, E. R., Global Optimization Using Interval Analysis, Marcel Dekker, New York (1992).
  • [4]
    Kearfott, R. B., Rigorous Global Search, Continuous Problems, Kluwer, Dordrecht, The Netherlands (1996).
  • [5]
    Neumaier, A., Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, Great Britain (1990).
Get PDF (148K)