Funding Data Link References Status API Help
type
year
publication
category
publisher
funder name
source
Page 1 of 640266 results
Sort by: relevance publication year

The Definition of Topological Manifolds

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 1

Authors: Marco Riccardi

Veblen Hierarchy

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 2

Authors: Grzegorz Bancerek

Sorting by Exchanging

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 2

Authors: Grzegorz Bancerek

Borel-Cantelli Lemma

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 4

Authors: Peter Jaeger

Mazur-Ulam Theorem

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 3

Authors: Artur Korniłowicz

Cayley's Theorem

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 4

Authors: Artur Korniłowicz

Representation Theorem for Stacks

Journal Article published 1 Jan 2011 in Formalized Mathematics volume 19 issue 4

Authors: Grzegorz Bancerek

The Rotation Group

Journal Article published 1 Jan 2012 in Formalized Mathematics volume 20 issue 1

Authors: Karol Pąk

Semantics of MML Query

Journal Article published 1 Jan 2012 in Formalized Mathematics volume 20 issue 2

Authors: Grzegorz Bancerek

Pocklington's Theorem and Bertrand's Postulate

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 2

Authors: Marco Riccardi

The Sylow Theorems

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 3

Authors: Marco Riccardi

Eigenvalues of a Linear Transformation

Journal Article published 1 Jan 2008 in Formalized Mathematics volume 16 issue 4

Authors: Karol Pąk

Kolmogorov's Zero-One Law

Journal Article published 1 Jan 2009 in Formalized Mathematics volume 17 issue 2

Authors: Agnes Doll

Labelled State Transition Systems

Journal Article published 1 Jan 2009 in Formalized Mathematics volume 17 issue 2

Authors: Michał Trybulec

Dilworth's Decomposition Theorem for Posets

Journal Article published 1 Jan 2009 in Formalized Mathematics volume 17 issue 4

Authors: Piotr Rudnicki

Chordal Graphs

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 3

Authors: Broderick Arneson, Piotr Rudnicki

Alexandroff One Point Compactification

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 4

Authors: Czesław Byliński

Combinatorial Grassmannians

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 2

Authors: Andrzej Owsiejczuk

The Jordan-Hölder Theorem

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 2

Authors: Marco Riccardi

String Rewriting Systems

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 3

Authors: Michał Trybulec