Sheng-Kai Yin

	2005
2		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

Coauthor Index

1	Bo-Yu Chan	[2]
2	Bo-Yu Chen	[1]
3	Wing-Kwong Wong	[1] [2]