Pages that link to "Item:Q616845"

The following pages link to Zheng Ye (Q616845):

Displaying 2 items.

• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)