Buchumschlag

Waterproof Editor: an educational environment for proof assistants and programming languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Otte, Pim, Arends, Dick, Flores, Raul Sánchez, Wils, Pieter, Portegies, Jim
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	History and Overview Computers and Society
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Waterproof: Educational Software for Learning How to Write Mathematical Proofs
von: Wemmenhove, Jelle, et al.
Veröffentlicht: (2022)

Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
von: Serrano, Felix De la Cruz
Veröffentlicht: (2026)

Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams
von: Riegel, Kaitlin, et al.
Veröffentlicht: (2025)

Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions
von: Müller, Dennis, et al.
Veröffentlicht: (2025)

Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School Students
von: Vaswani, Namrata, et al.
Veröffentlicht: (2024)

The role of the mathematical sciences in supporting the COVID-19 response in Australia and New Zealand
von: McCaw, James M., et al.
Veröffentlicht: (2023)

Indicators of the human origin of numbers
von: Grigoriev, Vitaliy
Veröffentlicht: (2024)

Modeling Social Systems: Transparency, Reproducibility, and Responsibility
von: Aldana, Maximino, et al.
Veröffentlicht: (2025)

A simple proof for generalized Fibonacci numbers with dying rabbits
von: De Prisco, Roberto
Veröffentlicht: (2023)

A Moonshot for AI Oracles in the Sciences
von: Kaiser, Bryan, et al.
Veröffentlicht: (2024)

A Non-Expert's Introduction to Data Ethics for Mathematicians
von: Porter, Mason A.
Veröffentlicht: (2022)

A correspondence problem for mathematical proof
von: DeDeo, Simon, et al.
Veröffentlicht: (2026)

Analytic proofs for logics of evidence and truth
von: Carnielli, Walter, et al.
Veröffentlicht: (2024)

The anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, by means of the restoration of Book II of the Elements to its original Pythagorean form
von: Negrepontis, Stelios, et al.
Veröffentlicht: (2025)

Thomassen's proof and Filippov's proof of the Weak Jordan Theorem
von: Klazar, Martin
Veröffentlicht: (2026)

Boolos' Hardest Logic Puzzle Ever can be solved in no less than three admissible questions: axiomatic framework and rigorous proof
von: Colomina-Almiñana, J. J., et al.
Veröffentlicht: (2018)

Mathematics education research must be useful for the classroom
von: Essien, Anthony A., et al.
Veröffentlicht: (2025)

A new elementary proof of the formula $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}=\frac{π^2}{6}$
von: Li, Jia
Veröffentlicht: (2025)

Mathematics: the Rise of the Machines
von: He, Yang-Hui
Veröffentlicht: (2025)

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
von: Fang, Ying, et al.
Veröffentlicht: (2024)

Who cares about mathematics education?
von: Lai, Yvonne
Veröffentlicht: (2025)

Automated Mathematics and the Reconfiguration of Proof and Labor
von: Ochigame, Rodrigo
Veröffentlicht: (2023)

Estimating $π$ with a Coin
von: Propp, Jim
Veröffentlicht: (2026)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
von: Meadows, Jordan, et al.
Veröffentlicht: (2023)

Mathematical Entities: Corpora and Benchmarks
von: Collard, Jacob, et al.
Veröffentlicht: (2024)

Large Language Models Don't Make Sense of Word Problems. A Scoping Review from a Mathematics Education Perspective
von: Strohmaier, Anselm R., et al.
Veröffentlicht: (2025)

AI-assisted Automated Short Answer Grading of Handwritten University Level Mathematics Exams
von: Liu, Tianyi, et al.
Veröffentlicht: (2024)

On Arnold's and Pushkin's puzzles
von: Khesin, Boris
Veröffentlicht: (2026)

Gender and assessment in mathematics: a comparative study of managing assessment episodes
von: Brismontier, Chloé
Veröffentlicht: (2026)

Analogues of a formula of Ferrar: what I have learned from Semyon Yakubovich
von: Ribeiro, Pedro
Veröffentlicht: (2026)

Empirical mathematics in Australian Indigenous Smoke Telegraphy
von: Ball, Rowena
Veröffentlicht: (2026)

Diamond Open Access: The AMR Experiment
von: Kontorovich, Alex
Veröffentlicht: (2026)

Three Approaches to the Problem of Double Discontinuity
von: Raman-Sundstrom, Manya
Veröffentlicht: (2026)

Peacock's Principle as a Conservative Strategy
von: Toader, Iulian D.
Veröffentlicht: (2026)

On distance and proximity between Dummett and Brouwer
von: van Atten, Mark
Veröffentlicht: (2026)

Visualizing the Matrix Product as a Transformation: A Task Design Using GeoGebra in Secondary Mathematics Education
von: Serrano, Felix De La Cruz
Veröffentlicht: (2026)

The {\em 4DLO} and other tubing models of $S^3$ symmetry
von: Goodman-Strauss, Chaim, et al.
Veröffentlicht: (2026)

AI for Mathematics: Progress, Challenges, and Prospects
von: Ju, Haocheng, et al.
Veröffentlicht: (2026)

Simone Weil, Andr{é} Weil, Bourbaki and Pythagorean mathematics
von: Papadopoulos, Athanase
Veröffentlicht: (2026)

Interleaved Friezes: Celtic Knotwork and Hitomezashi
von: Seaton, Katherine A.
Veröffentlicht: (2026)