Search for your publication
Search
Free Magmas
Marco Riccardi
Formalized Mathematics, January 2010
The Definition of Topological Manifolds
Marco Riccardi
Formalized Mathematics, January 2011
Veblen Hierarchy
Grzegorz Bancerek
Formalized Mathematics, January 2011
Sorting by Exchanging
Grzegorz Bancerek
Formalized Mathematics, January 2011
Borel-Cantelli Lemma
Peter Jaeger
Formalized Mathematics, January 2011
Mazur-Ulam Theorem
Artur Korniłowicz
Formalized Mathematics, January 2011
Cayley's Theorem
Artur Korniłowicz
Formalized Mathematics, January 2011
Representation Theorem for Stacks
Grzegorz Bancerek
Formalized Mathematics, January 2011
The Rotation Group
Karol Pąk
Formalized Mathematics, January 2012
Semantics of MML Query
Grzegorz Bancerek
Formalized Mathematics, January 2012
Pocklington's Theorem and Bertrand's Postulate
Marco Riccardi
Formalized Mathematics, January 2006
The Sylow Theorems
Marco Riccardi
Formalized Mathematics, January 2007
The Rank+Nullity Theorem
Jesse Alama
Formalized Mathematics, January 2007
Eigenvalues of a Linear Transformation
Karol Pąk
Formalized Mathematics, January 2008
Kolmogorov's Zero-One Law
Agnes Doll
Formalized Mathematics, January 2009
Labelled State Transition Systems
Michał Trybulec
Formalized Mathematics, January 2009
Dilworth's Decomposition Theorem for Posets
Piotr Rudnicki
Formalized Mathematics, January 2009
Chordal Graphs
Broderick Arneson, Piotr Rudnicki
Formalized Mathematics, January 2006
Alexandroff One Point Compactification
Czesław Byliński
Formalized Mathematics, January 2007
Combinatorial Grassmannians
Andrzej Owsiejczuk
Formalized Mathematics, January 2007