Abstract
In this paper, we will report on the developments carried out in Isabelle/HOL, ACL2 and Coq/SSReflect on Computational Algebraic Topology, in the frame of the ForMath European project. The aim is to illustrate, trough concrete examples, the role of formalization technologies in Computational Mathematics in general.
Citation
Julio Rubio. "On the Role of Formalization in Computational Mathematics." Bull. Belg. Math. Soc. Simon Stevin 20 (3) 385 - 403, august 2013. https://doi.org/10.36045/bbms/1378314504
Information