Comment 1
Comment 2
Reference Information:
Title: Intelligent Understanding of Handwritten Geometry Theorem Proving
Authors: Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Zhang, Xugang Wang, Guozhong Dai
Venue: IUI
Summary:
The authors of this paper discuss an intelligent sketch recognition system for geometry theorem proving. The give several examples of theorems such as the one located below. Instead of recognizing the strokes of every symbol, the system recognizes the structure of each symbol. This led to a great satisfaction from users in regards to the sketch recognition.
Discussion:
While this could be extended into other areas, the fact that math proofs were the focus of this research led me to be very bored throughout the entire paper. The ideas presented were interesting but I don't see why this is a necessary system. I suppose if I were way more into math this could be a far more exciting paper as it does perform its function well, I just don't care about its function.
I hate reading papers with too much math as well. If someone really could create something that could correctly convert hand written text into script, that would be enormously useful in my opinion with all the touch based systems being produced. I would imagine quite a few non-techies would appreciate a handwriting system to a keyboard.
ReplyDeleteI actually really like the sound of this system and I think that it could be used really effectively in classes. More pen based technology is needed.
ReplyDeleteI agree with Derek! I think the best way to learn geometry is by drawing out the problems, and this enables a student to try out the proofs with some feedback both about their math and their sketch. I think this could be really helpful in the classroom!
ReplyDelete