Geodesic
Computer-Assisted Proofs and Symbolic Computations
Serdica Journal of Computing, Tome 4 (2010) no. 1, pp. 73-84.

Voir la notice de l'article provenant de la source Bulgarian Digital Mathematics Library

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.
Keywords: Computer-Assisted Proofs, Symbolic Computations, Self-Validating Numerical Methods, Dynamical System, Verified Periodic Orbit, IntpakX, C-XSC 
@article{SJC_2010_4_1_a6,
     author = {Kr\"amer, Walter},
     title = {Computer-Assisted {Proofs} and {Symbolic} {Computations}},
     journal = {Serdica Journal of Computing},
     pages = {73--84},
     publisher = {mathdoc},
     volume = {4},
     number = {1},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2010_4_1_a6/}
}
TY  - JOUR
AU  - Krämer, Walter
TI  - Computer-Assisted Proofs and Symbolic Computations
JO  - Serdica Journal of Computing
PY  - 2010
SP  - 73
EP  - 84
VL  - 4
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJC_2010_4_1_a6/
LA  - en
ID  - SJC_2010_4_1_a6
ER  - 
%0 Journal Article
%A Krämer, Walter
%T Computer-Assisted Proofs and Symbolic Computations
%J Serdica Journal of Computing
%D 2010
%P 73-84
%V 4
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2010_4_1_a6/
%G en
%F SJC_2010_4_1_a6
Krämer, Walter. Computer-Assisted Proofs and Symbolic Computations. Serdica Journal of Computing, Tome 4 (2010) no. 1, pp. 73-84. http://geodesic.mathdoc.fr/item/SJC_2010_4_1_a6/