( en | de | ru )

 

Disambiguation of "Yin, Sheng-Kai"

Author of the publication

copydeleteadd this publication to your clipboard
A computer-assisted environment for understanding geometry theorem proving problems and making conjectures.

, , , , , , and . Int. J. Intell. Inf. Database Syst., 3 (3): 231-245 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sheng Yin

Yin-sheng Kung

Yin-Sheng Kung

Kai-sheng Chen

Tung-sheng Sheng

 

Other publications of authors with the same name

A Dynamic Geometry Environment for Learning Theorem Proving., , and . ICALT, page 15-17. IEEE Computer Society, (2005)A Virtual Computational Paper Folding Environment Based on Computer Algebraic System., , and . Edutainment, volume 6872 of Lecture Notes in Computer Science, page 28-37. Springer, (2011)An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment., , and . ICCE, volume 133 of Frontiers in Artificial Intelligence and Applications, page 934-937. IOS Press, (2005)Using Computer-Assisted Multiple Representations in Learning Geometry Proofs., , , and . J. Educ. Technol. Soc., 14 (3): 43-54 (2011)A computer-assisted environment for understanding geometry theorem proving problems and making conjectures., , , , , , and . Int. J. Intell. Inf. Database Syst., 3 (3): 231-245 (2009)