Online Generation of Proofs Without Words

01/03/2022
by   Alexander Thaller, et al.
0

Understanding geometric relationships with little mathematical knowledge can be challenging for today's students and teachers. A new toolset is introduced that is able to create a proof without words by combining the benefits of the Geometric Deduction Database method (to obtain a readable proof of a geometric statement) and the GeoGebra framework (that makes it possible to export these data as an online applet in a simple way).

READ FULL TEXT
research
04/01/2019

Students' Proof Assistant (SPA)

The Students' Proof Assistant (SPA) aims to both teach how to use a proo...
research
05/10/2021

No speedup for geometric theories

Geometric theories based on classical logic are conservative over their ...
research
08/14/2023

ProofBuddy: A Proof Assistant for Learning and Monitoring

Proof competence, i.e. the ability to write and check (mathematical) pro...
research
06/07/2021

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

Proof Blocks is a software tool which enables students to write proofs b...
research
03/05/2018

Learning how to Prove: From the Coq Proof Assistant to Textbook Style

We have developed an alternative approach to teaching computer science s...
research
12/18/2009

A Geometric Proof of Calibration

We provide yet another proof of the existence of calibrated forecasters;...
research
08/04/2016

Words, Concepts, and the Geometry of Analogy

This paper presents a geometric approach to the problem of modelling the...

Please sign up or login with your details

Forgot password? Click here to reset