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

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

Borel-Cantelli Lemma

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

Authors: Peter Jaeger

Modular Integer Arithmetic

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

Authors: Christoph Schwarzweller

Ramsey's Theorem

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

Authors: Marco Riccardi

Jordan Matrix Decomposition

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

Authors: Karol Pąk

Euler's Polyhedron Formula

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

Authors: Jesse Alama

Complete Spaces

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

Authors: Karol Pąk

Block Diagonal Matrices

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

Authors: Karol Pąk

Free Magmas

Journal Article published 1 Jan 2010 in Formalized Mathematics volume 18 issue 1

Authors: Marco Riccardi