Search for your publication

• Combinatorial Grassmannians
  Andrzej Owsiejczuk
  Formalized Mathematics, January 2007
• Veblen Hierarchy
  Grzegorz Bancerek
  Formalized Mathematics, January 2011
• Complete Spaces
  Karol Pąk
  Formalized Mathematics, January 2008
• Cayley's Theorem
  Artur Korniłowicz
  Formalized Mathematics, January 2011
• Ramsey's Theorem
  Marco Riccardi
  Formalized Mathematics, January 2008
• Mazur-Ulam Theorem
  Artur Korniłowicz
  Formalized Mathematics, January 2011
• String Rewriting Systems
  Michał Trybulec
  Formalized Mathematics, January 2007
• Jordan Matrix Decomposition
  Karol Pąk
  Formalized Mathematics, January 2008
• The Sylow Theorems
  Marco Riccardi
  Formalized Mathematics, January 2007
• Block Diagonal Matrices
  Karol Pąk
  Formalized Mathematics, January 2008
• Modular Integer Arithmetic
  Christoph Schwarzweller
  Formalized Mathematics, January 2008
• Arrow's Impossibility Theorem
  Freek Wiedijk
  Formalized Mathematics, January 2007
• The Rotation Group
  Karol Pąk
  Formalized Mathematics, January 2012
• Euler's Polyhedron Formula
  Jesse Alama
  Formalized Mathematics, January 2008
• Sorting by Exchanging
  Grzegorz Bancerek
  Formalized Mathematics, January 2011
• Sperner's Lemma
  Karol Pąk
  Formalized Mathematics, January 2010
• Chordal Graphs
  Broderick Arneson, Piotr Rudnicki
  Formalized Mathematics, January 2006
• Polygonal Numbers
  Adam Grabowski
  Formalized Mathematics, June 2013
• Model Checking. Part I
  Kazuhisa Ishida
  Formalized Mathematics, January 2006
• Free Magmas
  Marco Riccardi
  Formalized Mathematics, January 2010