Honu: syntactic extension for algebraic notation through enforestation.

Jon Rafkind Matthew Flatt

Published in: GPCE (2012)

Keyphrases

natural language
knowledge base
pattern recognition
mathematical theory
expert systems
text mining
visual languages