Open Access
Translator Disclaimer
august 2013 On the Role of Formalization in Computational Mathematics
Julio Rubio
Bull. Belg. Math. Soc. Simon Stevin 20(3): 385-403 (august 2013). DOI: 10.36045/bbms/1378314504

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

Download 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

Published: august 2013
First available in Project Euclid: 4 September 2013

zbMATH: 1274.68415
MathSciNet: MR3129047
Digital Object Identifier: 10.36045/bbms/1378314504

Subjects:
Primary: 03B70 , 55-04 , 68N30 , 68U10 , 68U10

Keywords: Algebraic Topology , biomedical imaging , computer algebra , Formalization of Mathematics , verification

Rights: Copyright © 2013 The Belgian Mathematical Society

JOURNAL ARTICLE
19 PAGES


SHARE
Vol.20 • No. 3 • august 2013
Back to Top