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

Stone Lattices

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 4

Authors: Adam Grabowski

Exponential Objects

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 4

Authors: Marco Riccardi

Groups – Additive Notation

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 2

Authors: Roland Coghetto

Polish Notation

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 3

Authors: Taneli Huuskonen

Product Pre-Measure

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

Authors: Noboru Endou

Topology from Neighbourhoods

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 4

Authors: Roland Coghetto

Morley’s Trisector Theorem

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 2

Authors: Roland Coghetto

Euler’s Partition Theorem

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 2

Authors: Karol Pąk

Flexary Operations

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 2

Authors: Karol Pąk

Convergent Filter Bases

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 3

Authors: Roland Coghetto

Cayley-Dickson Construction

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

Authors: Artur Korniłowicz

The Friendship Theorem

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

Authors: Karol Pąk

Veblen Hierarchy

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

Authors: Grzegorz Bancerek

Free Term Algebras

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

Authors: Grzegorz Bancerek

Sorting by Exchanging

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

Authors: Grzegorz Bancerek

Sperner's Lemma

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

Authors: Karol Pąk

Polygonal Numbers

Journal Article published 1 Jan 2013 in Formalized Mathematics volume 21 issue 2

Authors: Adam Grabowski

Topological Manifolds

Journal Article published 30 Jan 2014 in Formalized Mathematics volume 22 issue 2

Authors: Karol Pąk

Preface

Journal Article published 30 Jan 2014 in Formalized Mathematics volume 22 issue 2

Authors: Adam Grabowski, Yasunari Shidama

Semiring of Sets

Journal Article published 30 Jan 2014 in Formalized Mathematics volume 22 issue 1

Authors: Roland Coghetto