1 resultado para Engineering, Computer|Engineering, Electronics and Electrical|Engineering, Environmental
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- Abertay Research Collections - Abertay University’s repository (1)
- Academic Research Repository at Institute of Developing Economies (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (11)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (9)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (3)
- Archive of European Integration (2)
- Aston University Research Archive (20)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (20)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (113)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (28)
- Brock University, Canada (3)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CentAUR: Central Archive University of Reading - UK (30)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- Cochin University of Science & Technology (CUSAT), India (21)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (21)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (11)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- CUNY Academic Works (2)
- Dalarna University College Electronic Archive (5)
- Digital Commons - Michigan Tech (19)
- Digital Commons - Montana Tech (1)
- Digital Commons at Florida International University (92)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (5)
- DigitalCommons@University of Nebraska - Lincoln (3)
- Diposit Digital de la UB - Universidade de Barcelona (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (13)
- DRUM (Digital Repository at the University of Maryland) (5)
- Duke University (3)
- Ecology and Society (1)
- Galway Mayo Institute of Technology, Ireland (1)
- Glasgow Theses Service (1)
- Harvard University (1)
- Institutional Repository of Leibniz University Hannover (1)
- INSTITUTO DE PESQUISAS ENERGÉTICAS E NUCLEARES (IPEN) - Repositório Digital da Produção Técnico Científica - BibliotecaTerezine Arantes Ferra (5)
- Instituto Politécnico de Viseu (1)
- Instituto Politécnico do Porto, Portugal (9)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (2)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (4)
- Open Access Repository of Indian Theses (3)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (2)
- Publishing Network for Geoscientific & Environmental Data (5)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (5)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (98)
- Repositorio Institucional Universidad de Medellín (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (6)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- School of Medicine, Washington University, United States (1)
- Scielo Saúde Pública - SP (5)
- Scientific Open-access Literature Archive and Repository (1)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (3)
- Universidad de Alicante (4)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (16)
- Universidade do Algarve (1)
- Universidade do Minho (7)
- Universidade dos Açores - Portugal (1)
- Universidade Federal do Pará (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (2)
- Universita di Parma (1)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (17)
- Université de Montréal, Canada (8)
- University of Michigan (56)
- University of Queensland eSpace - Australia (185)
- University of Southampton, United Kingdom (3)
- University of Washington (3)
- WestminsterResearch - UK (1)
Resumo:
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.