Intelligent understanding of handwritten geometry theorem proving.

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

Browse the full IUI paper archive.