文件名称：The Language of Mathematics
文件大小：2.53MB
文件格式：PDF
更新时间：2017-12-10 20:31:55
Mathematics Proofs Theory
This thesis attempts a formalization of the language of mathematical texts definitions theorems formulas regarded as special natural language texts; the formalization aims to be suitable for being processed by computer systems