5510 search results - page 103 / 1102 » Mathematics |
116
Voted
MKM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
206
Voted
TEX
2004
Springer
15 years 8 months ago
2004
Springer
MSWIM
2003
ACM
15 years 8 months ago
2003
ACM
81
Voted
AC
2003
Springer
15 years 8 months ago
2003
Springer
