Block Diagonal Matrices

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Karol Pąk

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Adam St. Arnaud | Piotr Rudnicki

Difference and Difference Quotient. Part III

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Xiquan Liang | Ling Tang

Commutativeness of Fundamental Groups of Topological Groups

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Artur Korniłowicz

Partial Differentiation of Real Binary Functions

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Bing Xie | Xiquan Liang | Hongwei Li

Integrability Formulas. Part III

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Bo Li | Na Ma

Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Katsumi Wasaki

Semantics of MML Query

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Grzegorz Bancerek

Isomorphisms of Direct Products of Finite Commutative Groups

JOURNAL ARTICLE published 1 January 2013 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Hiroshi Yamazaki | Yasunari Shidama

The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Keiko Narita | Noboru Endou | Yasunari Shidama

Planes and Spheres as Topological Manifolds. Stereographic Projection

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Marco Riccardi

Basel Problem

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Karol Pąk | Artur Korniłowicz

Open Mapping Theorem

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Hideki Sakurai | Hisayoshi Kunimune | Yasunari Shidama

Products in Categories without Uniqueness of cod and dom

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Artur Korniłowicz

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

Basic Properties of Determinants of Square Matrices over a Field¹

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Karol Pąk

About Supergraphs. Part III

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Sebastian Koch

Binary Representation of Natural Numbers

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Hiroyuki Okazaki

Zariski Topology

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Yasushige Watase