Infty Project

数学的知識処理に関する論文

著者	論文名	内容
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