Basel Problem

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Karol Pąk | Artur Korniłowicz

Riemann Integral of Functions from R into n-dimensional Real Normed Space

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Keiichi Miyajima | Artur Korniłowicz | Yasunari Shidama

Free Term Algebras

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Grzegorz Bancerek

Cayley's Theorem

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Artur Korniłowicz

Z-modules

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Yasunari Shidama

Linear Congruence Relation and Complete Residue Systems

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Xiquan Liang | Li Yan | Junjie Zhao

Partial Differentiation on Normed Linear Spaces Rn

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Keiichi Miyajima

On Monomorphisms and Subfields

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

Implicit Function Theorem. Part II

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yasunari Shidama

Invertible Operators on Banach Spaces

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho

Implicit Function Theorem. Part I

JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

Linear Map of Matrices

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Karol Pąk

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Katsumasa Okamura

Renamings and a Condition-free Formalization of Kronecker’s Construction

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Christoph Schwarzweller

Pell’s Equation

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Marcin Acewicz | Karol Pąk

Modular Integer Arithmetic

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Christoph Schwarzweller

Niven’s Theorem

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Artur Korniłowicz | Adam Naumowicz

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Takao Inoué | Adam Naumowicz | Noboru Endou | Yasunari Shidama

Grothendieck Universes

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Karol Pąk

On the Representation of Natural Numbers in Positional Numeral Systems1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Adam Naumowicz