Sorry, we couldn’t find any results for “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).”.

Double check your search request for any spelling errors or try a different search term.