On the Role of Formalization in Computational Mathematics

Julio Rubio
2013 Bulletin of the Belgian Mathematical Society Simon Stevin  
In this paper, we will report 1 on the developments carried out in Isabelle/HOL, ACL2 and Coq/SSReflect on Computational Algebraic Topology, in the frame of the ForMath European project 2 . The aim is to illustrate, trough concrete examples, the role of formalization technologies in Computational Mathematics in general.
doi:10.36045/bbms/1378314504 fatcat:bctdcuii2jhx3bkeg2mlbb77xy