Funding Data Link References Status API Help
type
year
publication
category
publisher
funder name
source
Page 1 of 648468 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

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

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

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