mathematical corpus
C49882
concept
A mathematical corpus is a structured collection of mathematical texts, expressions, and related metadata used for analysis, research, and computational processing in mathematics.
Observed surface forms (2)
- mathematical database ×1
- mathematics repository ×1
Instances (3)
- corpus of Archimedes
- Hoste–Thistlethwaite–Weeks knot tables via concept surface "mathematical database"
- Archive of Formal Proofs via concept surface "mathematics repository"