Mathematical Knowledge Browser with Automatic Hyperlink Detection

Koji Nakagawa, Masakazu Suzuki. Mathematical Knowledge Browser with Automatic Hyperlink Detection. In Michael Kohlhase, editor, Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Volume 3863 of Lecture Notes in Computer Science, pages 190-202, Springer, 2005. [doi]

@inproceedings{NakagawaS05,
  title = {Mathematical Knowledge Browser with Automatic Hyperlink Detection},
  author = {Koji Nakagawa and Masakazu Suzuki},
  year = {2005},
  doi = {10.1007/11618027_13},
  url = {http://dx.doi.org/10.1007/11618027_13},
  researchr = {https://researchr.org/publication/NakagawaS05},
  cites = {0},
  citedby = {0},
  pages = {190-202},
  booktitle = {Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  editor = {Michael Kohlhase},
  volume = {3863},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-31430-X},
}