Infty Project

Articles on user mathematical knowledge management

Authors	Article	Text
K. Nakagawa and M. Suzuki	Mathematical knowledge browser with automatic hyperlink detection, Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, Lecture Notes in Computer Sciences 3863 (2005) 190--202
K.Nakagawa, A.Nomura, M.Suzuki	Extraction of Logical Structure from Articles in Mathematics, Mathematical Knowledge Management, 3rd International Conference MKM2004, Bialowieja, Poland, Lecture Notes in Computer Sciences 3119, Springer (2004) pp.276-289
Y.Baba, M.Suzuki	An Annotated Corpus and a Grammar Model of Theorem Description, Mathematical Knowledge Management, 2nd International Conference MKM2003, Bologna, Italy, Lecture Notes in Computer Sciences 2594, Springer (2003) 93-104