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