Krextor - An Extensible Framework for Contributing Content Math to the Web of Data

DOI10.1007/978-3-642-22673-1_29zbMath1335.68260OpenAlexW2271776728MaRDI QIDQ5200134

Christoph Lange

Publication date: 29 July 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_29

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• DLMF
• ActiveMath
• PlanetMath

Cites Work

• Unnamed Item

This page was built for publication: Krextor - An Extensible Framework for Contributing Content Math to the Web of Data