| |
| * | 2005 | |
|---|---|---|
| 2 | EE | Wing-Kwong Wong, Bo-Yu Chan, Sheng-Kai Yin: A Dynamic Geometry Environment for Learning Theorem Proving. ICALT 2005: 15-17 |
| 1 | Wing-Kwong Wong, Bo-Yu Chen, Sheng-Kai Yin: An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment. ICCE 2005: 934-937 | |
| 1 | Bo-Yu Chan | [2] |
| 2 | Bo-Yu Chen | [1] |
| 3 | Wing-Kwong Wong | [1] [2] |