A
ffine_
A
rithmetic Dependents
2018
Taylor Models
by
Christoph Traut
and
Fabian Immler
Jan 08
2012
Ordinary Differential Equations
by
Fabian Immler
and
Johannes Hölzl
Apr 26