Function interval arithmetic

DOI10.1007/978-3-662-44199-2_101MaRDI QIDQ2879194zbMATH OpenOpenAlexFDO

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

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_101

zbMATH Keywords

ODEstheorem provingvalidated numeric computation

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Recommendations

• scientific article; zbMATH DE number 1694748
• scientific article; zbMATH DE number 3960879
• Ultra-arithmetic. II: Intervals of polynomials
• Polynomial function intervals for floating-point software verification
• A validated real function calculus

Cited in

(4)

• A validated real function calculus
• Domain theoretic second-order Euler's method for solving initial value problems
• Parametric functional representation of interval number with arithmetic operations
• scientific article; zbMATH DE number 3982403 (Why is no real title available?)

Describes a project that uses

Uses Software

• AERN
• PolyPaver
• iRRAM

This page was built for publication: Function interval arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879194)