17 citations · 39 across the 7 of their papers we have counts for
1 paper · 1 filter
Carst Tankink, Christoph Lange, Josef Urban
This paper describes the design and implementation of mechanisms for light-weight inclusion of formal mathematics in informal mathematical writings, particularly in a Web-based set…