Search for your publication
Search
Combinatorial Grassmannians
Andrzej Owsiejczuk
Formalized Mathematics, January 2007
Ramsey's Theorem
Marco Riccardi
Formalized Mathematics, January 2008
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
Sorting by Exchanging
Grzegorz Bancerek
Formalized Mathematics, January 2011
Mazur-Ulam Theorem
Artur Korniłowicz
Formalized Mathematics, January 2011
Jordan Matrix Decomposition
Karol Pąk
Formalized Mathematics, January 2008
String Rewriting Systems
Michał Trybulec
Formalized Mathematics, January 2007
Arrow's Impossibility Theorem
Freek Wiedijk
Formalized Mathematics, January 2007
Euler's Polyhedron Formula
Jesse Alama
Formalized Mathematics, January 2008
The Rotation Group
Karol Pąk
Formalized Mathematics, January 2012
The Sylow Theorems
Marco Riccardi
Formalized Mathematics, January 2007
Modular Integer Arithmetic
Christoph Schwarzweller
Formalized Mathematics, January 2008
Block Diagonal Matrices
Karol Pąk
Formalized Mathematics, January 2008
Sperner's Lemma
Karol Pąk
Formalized Mathematics, January 2010
Chordal Graphs
Broderick Arneson, Piotr Rudnicki
Formalized Mathematics, January 2006
Orthomodular Lattices
Elżbieta Mądra, Adam Grabowski
Formalized Mathematics, January 2008
Model Checking. Part II
Kazuhisa Ishida
Formalized Mathematics, January 2008
Polygonal Numbers
Adam Grabowski
Formalized Mathematics, June 2013