MKM
2005
Springer
13 years 10 months ago
2005
Springer
MKM
2005
Springer
13 years 10 months ago
2005
Springer
MKM
2005
Springer
13 years 10 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
MKM
2005
Springer
13 years 10 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
MKM
2005
Springer
13 years 10 months ago
2005
Springer
MKM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...