Web-based Application to Aid the Learning of Mathematical Proofs Using Logical Diagrams and Its Potential
Abstract: The author developed a web-based application tool to help create mathematical proofs using logical diagrams in a tabular format. In the proposed method, we first verified the usefulness of the diagrammatization proposed in our previous study, and then proposed a web-based application tool that visualizes the process of applying inferences in proofs. Teachers and learners are asked to fill in relevant items into a tabular format to create diagrams illustrating mathematical proofs. This application automatically produces a diagram after a table is filled in with information on propositions, comments, and their relations (links). Another attempt for the updated version in the future is the implementation of GUI-based web application that can also store user logs including mouse trajectories to analyze their behaviors.
Presider: Mehmet Ali Ozer, New Mexico State University