Zariski Topology

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Yasushige Watase

Invertible Operators on Banach Spaces

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho

On Subnomials

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Rafał Ziobro

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Ievgen Ivanov | Mykola Nikitchenko | Uri Abraham

Fundamental Properties of Fuzzy Implications

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Adam Grabowski

On the Intersection of Fields F with F [X]

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

Continuity of Bounded Linear Operators on Normed Linear Spaces

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

Brouwer Fixed Point Theorem in the General Case

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk

Underlying Simple Graphs

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Sebastian Koch

On Monomorphisms and Subfields

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

Implicit Function Theorem. Part I

JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

On the Representation of Natural Numbers in Positional Numeral Systems1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Adam Naumowicz

Implicit Function Theorem. Part II

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho | 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

Niven’s Theorem

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Artur Korniłowicz | Adam Naumowicz

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

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

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Sora Otsuki | Pauline N. Kawamoto | Hiroshi Yamazaki