Semantic Enrichment of Mathematics via ‘tooltips’

DOI10.1007/978-3-319-20615-8_24zbMath1417.68210OpenAlexW2294576580MaRDI QIDQ3453130

Ross Moore

Publication date: 20 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-20615-8_24

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Uses Software

• pdfcomment
• CTAN
• mathsem
• sTeX
• LaTeX

Cites Work

• Unnamed Item
• Using La\TeX\ as a semantic markup format
• The Toilet Paper Problem
• PDF/A-3u as an Archival Format for Accessible Mathematics

This page was built for publication: Semantic Enrichment of Mathematics via ‘tooltips’