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