IMI-BAS
 

BulDML at Institute of Mathematics and Informatics >
IMI >
IMI Periodicals >
Serdica Journal of Computing >
2010 >
Volume 4 Number 1 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/1581

Title: Computer-Assisted Proofs and Symbolic Computations
Authors: Krämer, Walter
Keywords: Computer-Assisted Proofs
Symbolic Computations
Self-Validating Numerical Methods
Dynamical System
Verified Periodic Orbit
IntpakX
C-XSC
Issue Date: 2010
Publisher: Institute of Mathematics and Informatics Bulgarian Academy of Sciences
Citation: Serdica Journal of Computing, Vol. 4, No 1, (2010), 73p-84p
Abstract: We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.
URI: http://hdl.handle.net/10525/1581
ISSN: 1312-6555
Appears in Collections:Volume 4 Number 1

Files in This Item:

File Description SizeFormat
sjc116-vol4-num1-2010.pdf138.87 kBAdobe PDFView/Open

 



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback