Sheng-Kai Yin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Wing-Kwong Wong, Chun-Wei Huang, Sheng-Kai Yin, Hsi-Hsun Yang, Bo-Yu Chen, Sheng-Cheng Hsu, Shih-Hung Wu: A computer-assisted environment for understanding geometry theorem proving problems and making conjectures. IJIIDS 3(3): 231-245 (2009)

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

Selection of 2 from 5 records - Sheng-Kai Yin has 9 coauthors

Last update 2012-02-19 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Wing-Kwong Wong, Chun-Wei Huang, Sheng-Kai Yin, Hsi-Hsun Yang, Bo-Yu Chen, Sheng-Cheng Hsu, Shih-Hung Wu: A computer-assisted environment for understanding geometry theorem proving problems and making conjectures. IJIIDS 3(3): 231-245 (2009)
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