7 citations · 58 across the 20 of their papers we have counts for
1 paper · 1 filter
Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interco…