On the Properties of the Möbius Function

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Magdalena Jastrzebska | Adam Grabowski

Eigenvalues of a Linear Transformation

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Karol Pąk

Introduction to Rational Functions

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Christoph Schwarzweller

On Rough Subgroup of a Group

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Xiquan Liang | Dailu Li

About Supergraphs. Part I

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Sebastian Koch

The Perfect Number Theorem and Wilson's Theorem

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Marco Riccardi

More on the Continuity of Real Functions

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Keiko Narita | Artur Kornilowicz | Yasunari Shidama

The Borsuk-Ulam Theorem

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Artur Korniłowicz | Marco Riccardi

Representation Theorem for Stacks

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Grzegorz Bancerek

Several Classes of BCK-algebras and their Properties

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Tao Sun | Dahai Hu | Xiquan Liang

Riemann Integral of Functions from R into Rn

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Keiichi Miyajima | Yasunari Shidama

Random Variables and Product of Probability Spaces

JOURNAL ARTICLE published 1 January 2013 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yasunari Shidama

Leibniz Series for π

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Karol Pąk

Combinatorial Grassmannians

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Andrzej Owsiejczuk

Functional Space C(ω), C0(ω)

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Katuhiko Kanazashi | Hiroyuki Okazaki | Yasunari Shidama

Sperner's Lemma

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Karol Pąk

Differential Equations on Functions from R into Real Banach Space

JOURNAL ARTICLE published 1 December 2013 in Formalized Mathematics

Authors: Keiko Narita | Noboru Endou | Yasunari Shidama

Formal Languages - Concatenation and Closure

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Michał Trybulec

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Koh-ichi Nagao | Yuichi Futa

Linear Transformations of Euclidean Topological Spaces

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk