ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Evolution of Mathematical Proof (1997)

Mrozek, Marian ; Urbaniec, Jacek

Springer

Foundations of science 2 (1997), S. 77-85

add to mindlist on the mindlist

Details

ISSN: 1572-8471

Keywords: Computer-assisted proofs ; Chaos ; Lorenz equations ; Round-off errors ; Interval arithmetic

Source: Springer Online Journal Archives 1860-2000

Topics: Natural Sciences in General

Notes: Abstract The authors present the main ideas of the computer-assisted proof of Mischaikow and Mrozek that chaos is really present in the Lorenz equations. Methodological consequences of this proof are examined. It is shown that numerical calculations can constitute an essential part of mathematical proof not only in the discrete mathematics but also in the mathematics of continua.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1023/A:1009683412188

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit