7 citations · 58 across the 20 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 7 cited
The MMT API: A Generic MKM System
Florian Rabe
The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and se…
cs.LO2013★ 2 cited
A Universal Machine for Biform Theory Graphs
Michael Kohlhase, Felix Mance, Florian Rabe
Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer alg…