On the Role of Formalization in Computational Mathematics

  1. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Aldizkaria:
Bulletin of the Belgian Mathematical Society - Simon Stevin

ISSN: 1370-1444

Argitalpen urtea: 2013

Alea: 20

Zenbakia: 3

Orrialdeak: 385-403

Mota: Artikulua

DOI: 10.36045/BBMS/1378314504 SCOPUS: 2-s2.0-84896337119 WoS: WOS:000325667500001 GOOGLE SCHOLAR

Beste argitalpen batzuk: Bulletin of the Belgian Mathematical Society - Simon Stevin

Gordailu instituzionala: lock_openSarbide irekia Editor

Lotura duten proiektuak

Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.

2009/00207/001

Laburpena

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 For Math European project. The aim is to illustrate, trough concrete examples, the role of formalization technologies in Computational Mathematics in general.