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) 190202 

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.276289 

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) 93104 