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

The Rotation Group

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

Authors: Karol Pąk

Sperner's Lemma

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

Authors: Karol Pąk

Free Magmas

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

Authors: Marco Riccardi

Abstract Simplicial Complexes

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

Authors: Karol Pąk

Affine Independence in Vector Spaces

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

Authors: Karol Pąk

The Axiomatization of Propositional Logic

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 4

Authors: Mariusz Giero

Algebraic Numbers

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 4

Authors: Yasushige Watase

Niven’s Theorem

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 4

Authors: Artur Korniłowicz, Adam Naumowicz

Homography in ℝℙ

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 4

Authors: Roland Coghetto

On Subnomials

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 4

Authors: Rafał Ziobro