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
この論文の内容へ(367キロバイトサイズのPDFファイル)
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
この論文の内容へ(367キロバイトサイズのPDFファイル)
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
この論文の内容へ(123キロバイトサイズのPDFファイル)

Infty Projectのトップページへ