Mathematical Knowledge Browser with Automatic Hyperlink Detection.

Koji Nakagawa Masakazu Suzuki

Published in: MKM (2005)

Keyphrases

mathematical knowledge
web pages
object detection
detection algorithm
user interface
link analysis
computer software
artificial intelligence
website
search algorithm
natural language
search space
software engineering
web documents
web browser
theorem prover