Integrability Formulas. Part I

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Bo Li | Na Ma

Free Magmas

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Marco Riccardi

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

Model Checking. Part I

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Kazuhisa Ishida

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

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