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

Object-Free Definition of Categories

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

Authors: Marco Riccardi

On Square-Free Numbers

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

Authors: Adam Grabowski

Polygonal Numbers

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

Authors: Adam Grabowski

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

Alexandroff One Point Compactification

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

Authors: Czesław Byliński

Laplace Expansion

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

Authors: Karol Pak, Andrzej Trybulec

The Sylow Theorems

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

Authors: Marco Riccardi

Mizar Analysis of Algorithms: Preliminaries

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

Authors: Grzegorz Bancerek

The Axiomatization of Propositional Logic

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

Authors: Mariusz Giero

Homography in ℝℙ

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

Authors: Roland Coghetto

Leibniz Series for π

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

Authors: Karol Pąk

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

On Subnomials

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

Authors: Rafał Ziobro

Free Magmas

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

Authors: Marco Riccardi

Affine Independence in Vector Spaces

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

Authors: Karol Pąk

Abstract Simplicial Complexes

Journal Article published 1 Jan 2010 in Formalized Mathematics volume 18 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