Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Thijs P.J. Beurskens
Doctoral Candidate
,
Mathematics and Computer Science
,
Applied Geometric Algorithms
Email
t.p.j.beurskens
tue
nl
2022
2024
Content available in repository
Overview
Fingerprint
Network
Research output
(2)
Thesis
(2)
Similar Profiles
(6)
Research output
Content available in repository
2022
2022
2024
2024
1
Paper
1
Article
Content available in repository
Content available in repository
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Article
Search results
2022
Waterproof: educational software for learning how to write mathematical proofs
Wemmenhove, J.
,
Beurskens, T.
, McCarren, S., Moraal, J., Tuin, D. &
Portegies, J.
,
24 Nov 2022
,
In:
arXiv.
2022
,
28 p.
, 2211.13513.
Research output
:
Contribution to journal
›
Article
›
Academic
Open Access
File
Mathematical Proof
100%
Educational Software
100%
Logical Structure
50%
Made Explicit
50%
Soundness
50%
353
Downloads (Pure)