๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Mathematical formalization of stratigraphic terminology

โœ Scribed by Dienes, I. ;Mann, C. John


Publisher
Springer
Year
1977
Tongue
English
Weight
949 KB
Volume
9
Category
Article
ISSN
0020-5958

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Supporting the formal verification of ma
โœ Claus Zinn ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully