149 citations · 825 across the 48 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.AI2010★ 26 cited
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Josef Urban, Geoff Sutcliffe
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an onlin…
cs.DL2010★ 21 cited
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Josef Urban, Jesse Alama, Piotr Rudnicki +1
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could…