作成者 |
|
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
出版タイプ |
|
アクセス権 |
|
関連DOI |
|
|
関連URI |
|
|
関連情報 |
|
|
概要 |
We propose a mathematical knowledge browser which helps people to read mathematical text. In the browser existing printed materials can be scanned and recognized by OCR (Optical Character Recognition).... One of technologies needed to make the browser ideal is a method to extract automatically the logical structures and links like definitions, assertions, equations, proofs, citations from documents after OCR. In view of future development towards this goal, this paper discusses the method to extract the logical structures and links.続きを見る
|