Differentiable Functions on Normed Linear Spaces

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Yasunari Shidama

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

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

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

Fundamental Properties of Fuzzy Implications

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Adam Grabowski

Underlying Simple Graphs

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Sebastian Koch

Refined Finiteness and Degree Properties in Graphs

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Sebastian Koch

Formalization of Quasilattices

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Dominik Kulesza | Adam Grabowski

On the Intersection of Fields F with F [X]

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

Binary Representation of Natural Numbers

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Hiroyuki Okazaki

Implicit Function Theorem. Part I

JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

Sequences of Prime Reciprocals. Preliminaries

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Adam Grabowski