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

Infty Projectのトップページへ