Function interval arithmetic

Jan Duracz, Amin Farjudian, Michal Konečný, Walid Taha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationMathematical Software, ICMS 2014 - 4th International Congress, Proceedings
PublisherSpringer Verlag
Pages677-684
Number of pages8
ISBN (Print)9783662441985
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event4th International Congress on Mathematical Software, ICMS 2014 - Seoul, Korea, Republic of
Duration: 5 Aug 20149 Aug 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8592 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Congress on Mathematical Software, ICMS 2014
Country/TerritoryKorea, Republic of
CitySeoul
Period5/08/149/08/14

Bibliographical note

Funding Information:
This work was supported by EPSRC grant EP/C01037X/1, Altran Technologies SA, the US NSF CPS award 1136099 and Swedish KK-Foundation CERES Centre.

Keywords

  • ODEs
  • Theorem Proving
  • Validated Numeric Computation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Function interval arithmetic'. Together they form a unique fingerprint.

Cite this