hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Function Interval Arithmetic
University of Nottingham Ningbo China, Ningbo, China.ORCID iD: 0000-0002-1879-0763
Aston University, Birmingham, United Kingdom. (Engineering & Applied Science)ORCID iD: 0000-0003-2374-9017
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, Texas, USA. (Effective Modeling Group)
2014 (English)In: Mathematical software -- ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings / [ed] Hoon Hong & Chee Yap, Berlin, Heidelberg: Springer, 2014, 677-684 p.Conference paper, Published paper (Refereed)
Abstract [en]

We propose an arithmetic of function intervals as a basis for convenient rigorous numerical computation. Function intervals can be used as mathematical objects in their own right or as enclosures of functions over the reals. We present two areas of application of function interval arithmetic and associated software that implements the arithmetic: (1) Validated ordinary differential equation solving using the AERN library and within the Acumen hybrid system modeling tool. (2) Numerical theorem proving using the PolyPaver prover. © 2014 Springer-Verlag.

Place, publisher, year, edition, pages
Berlin, Heidelberg: Springer, 2014. 677-684 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8592
Keyword [en]
Validated Numeric Computation, ODEs, Theorem Proving
National Category
Mathematical Analysis
Identifiers
URN: urn:nbn:se:hh:diva-27146DOI: 10.1007/978-3-662-44199-2_101Scopus ID: 2-s2.0-84905860698Libris ID: 16897646ISBN: 978-3-662-44198-5 ISBN: 978-3-662-44199-2 OAI: oai:DiVA.org:hh-27146DiVA: diva2:767024
Conference
ICMS 2014: 4th International Congress of Mathematical Software, Seoul, South Korea, August 5-9, 2014
Available from: 2014-11-28 Created: 2014-11-28 Last updated: 2015-08-21Bibliographically approved

Open Access in DiVA

fulltext(1128 kB)168 downloads
File information
File name FULLTEXT01.pdfFile size 1128 kBChecksum SHA-512
6777248a69f11576eaa8d3e81eb35f9d6a5aea84b849d08da76d12c99c359e60e7cac5890b4cfcb4ed8198bcbf7eccc733bc511dfc03123d88226bd5e2dbd259
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Farjudian, AminKonečný, Michal

Search in DiVA

By author/editor
Duracz, JanFarjudian, AminKonečný, MichalTaha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Mathematical Analysis

Search outside of DiVA

GoogleGoogle Scholar
Total: 168 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 139 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf