149 citations · 825 across the 48 of their papers we have counts for
Showing cs.MSShow all
3 papers · 1 filter
cs.MS2013★ 8 cited
Formal Mathematics on Display: A Wiki for Flyspeck
Carst Tankink, Cezary Kaliszyk, Josef Urban +1
The Agora system is a prototype "Wiki for Formal Mathematics", with an aim to support developing and documenting large formalizations of mathematics in a proof assistant. The funct…
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…