Affine Arithmetic

MaRDI QIDQ40511swMATHFDO

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

Cited in

(2)

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

This page was built for software: Affine Arithmetic