Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters

DOI10.1007/978-3-031-42753-4_13OpenAlexW4386297778MaRDI QIDQ6118830

Michael Kohlhase, Jan Frederik Schaefer

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_13

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• A FORMAL PROOF OF THE KEPLER CONJECTURE
• System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents

This page was built for publication: Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters