21 citations · 21 across the 2 of their papers we have counts for
3 papers
math.AG2021
Characteristic classes of Borel orbits of square-zero upper-triangular matrices
Piotr Rudnicki, Andrzej Weber
Anna Melnikov provided a parametrization of Borel orbits in the affine variety of square-zero matrices by the set of involutions in the symmetric group. A related comb…
cs.DL2011
ATP and Presentation Service for Mizar Formalizations
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
This paper describes the Automated Reasoning for Mizar (MizAR) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and…
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…