Gray Literature
Papers at Peer-Reviewed Workshops
- [1]
M. Rupprecht, M. Kohlhase, and D. Müller (2017)
A flexible, interactive theory-graph viewer.
In MathUI 2017: the 12th workshop on mathematical user interfacesMathUI 2017: The 12th Workshop on Mathematical User Interfaces, A. Kohlhase and M. Pollanen (Eds.),
External Links: Link
Cited by: p1.