On the Role of Formalization in Computational Mathematics
-
Published:2013-08-01
Issue:3
Volume:20
Page:
-
ISSN:1370-1444
-
Container-title:Bulletin of the Belgian Mathematical Society - Simon Stevin
-
language:
-
Short-container-title:Bull. Belg. Math. Soc. Simon Stevin
Publisher
The Belgian Mathematical Society
Subject
General Mathematics