Title | ||
---|---|---|
Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings |
Year | Venue | Keywords |
---|---|---|
2003 | mathematical knowledge management | mathematical knowledge management |
Field | DocType | Volume |
Mizar system,Metadata,Programming language,XML,Computer science,Mathematical knowledge management,Mathematical proof,Digital library,MathML,Markup language | Conference | 2594 |
ISBN | Citations | PageRank |
isbn | 14 | 3.15 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrea Asperti | 1 | 849 | 75.19 |
Bruno Buchberger | 2 | 847 | 168.26 |
James H. Davenport | 3 | 844 | 141.40 |