共 50 条
- [41] DYNABOARD - USER ANIMATED DISPLAY OF DEDUCTIVE PROOFS IN MATHEMATICS INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1989, 30 (02): : 149 - 170
- [42] Doing and proving: The place of algorithms and proofs in school mathematics AMERICAN MATHEMATICAL MONTHLY, 1998, 105 (03): : 252 - 255
- [45] Visual Algebraic Proofs for Unknot Detection DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018, 2018, 10871 : 89 - 104
- [46] Visual representation of proofs in graph theory INTERNATIONAL JOURNAL OF EDUCATION AND INFORMATION TECHNOLOGIES, 2018, 12 : 99 - 104