Intelligent understanding of handwritten geometry theorem proving.

Yingying Jiang Feng Tian Hongan Wang Xiaolong Zhang XuGang Wang Guozhong Dai

Published in: IUI (2010)

Keyphrases

geometry theorem proving
database
hidden markov models
theorem proving
human centric
information retrieval
artificial neural networks
character recognition
human beings
real time
social networks
e learning
multiscale
word spotting
numeral strings