Implementation of Interval Arithmetic in CORA 2016. - Matthias Althoff; Dmitry Grebenyuk (ARCH@CPSWeek, 2016)

Implementation of Taylor models in CORA 2018. - Matthias Althoff; Dmitry Grebenyuk; Niklas Kochdumper (ARCH@ADHS, 2018)