Cover Image

Waterproof: Educational Software for Learning How to Write Mathematical Proofs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wemmenhove, Jelle, Arends, Dick, Beurskens, Thijs, Bhaid, Maitreyee, McCarren, Sean, Moraal, Jan, Garrido, Diego Rivera, Tuin, David, Vassallo, Malcolm, Wils, Pieter, Portegies, Jim
Format:	Preprint
Published:	2022
Subjects:	History and Overview
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Waterproof Editor: an educational environment for proof assistants and programming languages
by: Otte, Pim, et al.
Published: (2026)

Reflective Groupwork for Introductory Proof-Writing Courses
by: Pi, Jennifer, et al.
Published: (2023)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
by: Weatherall, James Owen, et al.
Published: (2026)

Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024)

A Million-dollar Proof
by: Abrams, Aaron
Published: (2025)

Stamps and Mathematics
by: Ivanova, Nataliya M.
Published: (2024)

The Folding Mathematics
by: Morye, Archana S.
Published: (2025)

Teaching Mathematics for Economists
by: Hillebrand, Eric
Published: (2025)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
by: Ruggeri, Tommaso, et al.
Published: (2025)

An Episode in The Old Mathematical Intelligencer
by: Lamm, Christoph
Published: (2025)

Fraudulent Publishing in the Mathematical Sciences
by: Agricola, Ilka, et al.
Published: (2025)

AlephZero and Mathematical Experience
by: DeDeo, Simon
Published: (2023)

Mathematics in art, for art and as art
by: Esteban, Maria J.
Published: (2025)

Geometric Proof of the Irrationality of Square-Roots for Select Integers
by: Chen, Zongyun, et al.
Published: (2024)

AI for Mathematics: Progress, Challenges, and Prospects
by: Ju, Haocheng, et al.
Published: (2026)

Approximating Mathematical Constants using Minecraft
by: Lynch, Molly, et al.
Published: (2024)

Indigenous Mathematics I. Smoke Telegraphy
by: Ball, Rowena
Published: (2025)

Elements of the Theory of Probability and Mathematical Statistics
by: Chinarova, Lidiia L., et al.
Published: (2024)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
by: Mangum, Chad R.
Published: (2025)

Mathematics -- an imagined tool for rational cognition
by: Čulina, Boris
Published: (2023)

From Concrete to Abstract in Indian Mathematics
by: Dasgupta, Jaidev
Published: (2024)

Mathematics education research must be useful for the classroom
by: Essien, Anthony A., et al.
Published: (2025)

Using GXWeb for Theorem Proving and Mathematical Modelling
by: Todd, Philip, et al.
Published: (2024)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
by: Bottoni, Mattia Luciano, et al.
Published: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
Published: (2024)

Teaching Proof to Future Mathematics Teachers in Mathematical Analysis Classes
by: Naziev, Aslanbek, et al.
Published: (2025)

A review of Alfred North Whitehead's "Introduction to Mathematics"
by: Hales, Thomas
Published: (2024)

Report on the 63rd Annual International Mathematical Olympiad
by: Bajnok, Béla
Published: (2025)

A Mathematical Model of The Effects of Strike On Nigerian Universities
by: Isere, Abednego Orobosa
Published: (2024)

Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
by: Espín, José Ginés, et al.
Published: (2025)

A life in Mathematical Analysis: a conversation with Luigi Rodino
by: Nicola, Fabio
Published: (2025)

Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
by: Wang, Siyuan, et al.
Published: (2025)

Multiple Forms of Knowing in Mathematics: A Scoping Literature Study
by: Xu, Hongzhang, et al.
Published: (2024)

Collaborative Preferences for Learning Mathematics: A Scale Validation Study
by: Kim, Sang Hyun, et al.
Published: (2025)

Mathematics A Missing Factor in Assessing the Antiquity of Vedanga Jyotisa
by: Dasgupta, Jaidev
Published: (2025)

Calculus for the Modern Engineer: Putting the Joy Back in Learning Advanced Mathematics
by: Grizzle, Jessy
Published: (2025)

Andr{é} and Simone Weil: Mathematics, social activism and Indian culture
by: Papadopoulos, Athanase, et al.
Published: (2025)

Are University Budget Cuts Becoming A Threat to Mathematics? with Additional Discussion
by: Fuller, Edgar J.
Published: (2024)

When Mathematics Meets Painting: Fibonacci Geometry, Cubism and Visual Abstraction
by: Mondal, Shankhadeep, et al.
Published: (2026)