Search for your publication
Search
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
Mazur-Ulam Theorem
Artur Korniłowicz
Formalized Mathematics, January 2011
Cayley's Theorem
Artur Korniłowicz
Formalized Mathematics, January 2011
The Rotation Group
Karol Pąk
Formalized Mathematics, January 2012
Semantics of MML Query
Grzegorz Bancerek
Formalized Mathematics, January 2012
The Sylow Theorems
Marco Riccardi
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
String Rewriting Systems
Michał Trybulec
Formalized Mathematics, January 2007
The Catalan Numbers. Part II1
Karol Pąk
Formalized Mathematics, January 2006
The Quaternion Numbers
Xiquan Liang, Fuguo Ge
Formalized Mathematics, January 2006
Model Checking. Part I
Kazuhisa Ishida
Formalized Mathematics, January 2006
Mizar Analysis of Algorithms: Preliminaries
Grzegorz Bancerek
Formalized Mathematics, January 2007