Typed Mathematical Text for On-screen Examinations
This paper discusses digital online mathematics examinations -- a discussion ranging from high school to university level examinations. In particular, we consider the nature of mathematical writing, what is distinctive about mathematical writing, and how mathematics can be typed into a machine. This includes a review of features of notation and layout unique to mathematics and a survey of current technology for typed mathematics, including LaTeX and contemporary proof-checkers such as Lean. Artificial intelligence has already been highly successful for optical character recognition,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.25276
curl -X POST /api/v1/records/arxiv/2605.25276/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.25276/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'