Sciweavers

Share
MKM   2004 International Conference on Mathematical Knowledge Management
Wall of Fame | Most Viewed MKM-2004 Paper
MKM
2004
Springer
11 years 6 months ago
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robe...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source152
2Download preprint from source110
3Download preprint from source106
4Download preprint from source100
5Download preprint from source92
6Download preprint from source90
7Download preprint from source89
8Download preprint from source83
9Download preprint from source72
10Download preprint from source63
11Download preprint from source56
books