Web-based interactive module with multiple representations for learning geometry theorem proving

2010 ◽  
Author(s):  
Hsi-Hsun Yang ◽  
Sheng-Kai Yin ◽  
Wing-Kwong Wong
Keyword(s):  
Theorem Proving ◽  
Multiple Representations ◽  
Web Based ◽  
Geometry Theorem Proving

A computer-assisted environment for understanding geometry theorem proving problems and making conjectures

2009 ◽  
Vol 3 (3) ◽  
pp. 231 ◽  
Author(s):  
Wing Kwong Wong ◽  
Chun Wei Huang ◽  
Sheng Kai Yin ◽  
Hsi Hsun Yang ◽  
Po Yu Chen ◽  
...  
Keyword(s):  
Theorem Proving ◽  
Computer Assisted ◽  
Geometry Theorem Proving
Sign in / Sign up

Export Citation Format

Share Document