Pages that link to "Item:Q616847"
From MaRDI portal
The following pages link to 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):
Displaying 1 item.