Proof Interfaces for Exploratory Mathematics
This paper describes a mathematics interface intended for both educational applications and exploratory mathematics. Both learners and mathematics practitioners often use pen and paper or a whiteboard to perform equational reasoning, manipulate expressions, or construct proofs. These workflows lead...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2610.02449 http://arxiv.org/abs/2610.02449 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|