Affine Arithmetic

MaRDI QIDQ40511swMATHFDO

Authors Fabian Immler

Publication date 7 February 2014

Official website https://www.isa-afp.org/entries/Affine_Arithmetic.html

Cites work

• Affine arithmetic: concepts and applications
• Hybrid Systems: Computation and Control

Cited in

(2)

• A verified ODE solver and the Lorenz attractor
• Dictionary Construction

This page was built for software: Affine Arithmetic