Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8592
Keyword [en]
Validated Numeric Computation, ODEs, Theorem Proving
National Category
Mathematical Analysis
URN: urn:nbn:se:hh:diva-27146DOI: 10.1007/978-3-662-44199-2_101ScopusID: 2-s2.0-84905860698ISBN: 978-3-662-44198-5ISBN: 978-3-662-44199-2OAI: diva2:767024
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)83 downloads
File information
File name FULLTEXT01.pdfFile size 1128 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

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: 83 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

Altmetric score

Total: 127 hits
ReferencesLink to record
Permanent link

Direct link