[PDF][PDF] A flexible, interactive theory-graph viewer
M Rupprecht, M Kohlhase, D Müller - kwarc.info
Many mathematical software systems are based on the explicit representation of
mathematical knowledge and organize that modularly. Surprisingly, most of these systems …
mathematical knowledge and organize that modularly. Surprisingly, most of these systems …
[PDF][PDF] A Flexible, Interactive Theory-Graph Viewer
M Rupprecht, M Kohlhase, D Müller - kwarc.info
Many mathematical software systems are based on the explicit representation of
mathematical knowledge and organize that modularly. Surprisingly, most of these systems …
mathematical knowledge and organize that modularly. Surprisingly, most of these systems …