A library of Taylor models for PVS automatic proof checker - Francisco Cháves; Marc Daumas (CoRR, 2006)

Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves. (Taylor models to extend the use and certification of interval arithmeticin a proof checker). - Francisco Cháves (2007)

von Mises Tapering: A Circular Data Windowing. - Hélio M. de Oliveira; Francisco Cháves (CoRR, 2018)