149 citations · 825 across the 48 of their papers we have counts for
Showing 2012 · cs.MSShow all
2 papers · 2 filters
cs.MS2012★ 5 cited
Parallelizing Mizar
Josef Urban
This paper surveys and describes the implementation of parallelization of the Mizar proof checking and of related Mizar utilities. The implementation makes use of Mizar's compiler-…
cs.MS2012
Point-and-write --- Documenting Formal Mathematics by Reference
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…