On the role of formalization in computational mathematics

zbMath1274.68415MaRDI QIDQ372699

Julio Jesús Rubio García

Publication date: 21 October 2013

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bbms/1378314504

zbMATH Keywords

verificationalgebraic topologycomputer algebraformalization of mathematicsbiomedical imaging

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Biomedical imaging and signal processing (92C55)

Uses Software

• ACL2
• Coq
• Isabelle/HOL
• Coq/SSReflect

This page was built for publication: On the role of formalization in computational mathematics