onr:"swepub:oai:DiVA.org:uu-257618"
Search: onr:"swepub:oai:DiVA.org:uu-257618" > A database of rigor...
- 1 of 1
- Previous record
- Next record
- To hitlist
A database of rigorous and high-precision periodic orbits of the Lorenz model
- Barrio, Roberto (author)
- Dena, Angeles (author)
-
- Tucker, Warwick (author)
- Uppsala universitet,Tillämpad matematik och statistik
- (creator_code:org_t)
- Elsevier BV, 2015
- 2015
- English.
- In: Computer Physics Communications. - : Elsevier BV. - 0010-4655 .- 1879-2944. ; 194, s. 76-83
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- A benchmark database of very high-precision numerical and validated initial conditions of periodic orbits for the Lorenz model is presented. This database is a "computational challenge" and it provides the initial conditions of all periodic orbits of the Lorenz model up to multiplicity 10 and guarantees their existence via computer-assisted proofs methods, The orbits are computed using high-precision arithmetic and mixing several techniques resulting in 1000 digits of precision on the initial conditions of the periodic orbits, and intervals of size 10100 that prove the existence of each orbit. Program summary Program title: Lorenz-Database Catalogue identifier: AEWM_v1_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEWM_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 8515 No. of bytes in distributed program, including test data, etc.: 6964501 Distribution format: tar.gz Programming language: Data. Computer: Any computer. Operating system: Any. RAM: Database, no requirements Classification: 4.3, 4.12. Nature of problem: Database of all periodic orbits of the Lorenz model up to multiplicity 10 with 1000 precision digits. Solution method: Advanced search methods for locating unstable periodic orbits combined with the Taylor series method for multiple precision integration of ODEs and interval methods for providing Computer-Assisted proofs of the periodic orbits. Unusual features: The database gives 100 digits rigorously proved using Computer-Assisted techniques and 1000 digits using an optimal adaptive Taylor series method. Running time: Not Applicable.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Computer-assisted proof
- Periodic orbits
- Validated numerics
- High-precision
- Lorenz model
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- Computer Physics Communications (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Barrio, Roberto
- Dena, Angeles
- Tucker, Warwick
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Computer Physics ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
