Fatou's Lemma and the Lebesgue's Convergence Theorem

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Noboru Endou | Keiko Narita | Yasunari Shidama

The Basic Existence Theorem of Riemann-Stieltjes Integral

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Keiko Narita | Yasunari Shidama

Difference and Difference Quotient

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Bo Li | Yan Zhang | Xiquan Liang

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Hiroshi Yamazaki | Hiroyuki Okazaki | Kazuhisa Nakasho | Yasunari Shidama

Mizar Analysis of Algorithms: Preliminaries

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Grzegorz Bancerek

Banach Algebra of Bounded Complex-Valued Functionals

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Katuhiko Kanazashi | Hiroyuki Okazaki | Yasunari Shidama

F. Riesz Theorem

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Keiko Narita | Kazuhisa Nakasho | Yasunari Shidama

Posterior Probability on Finite Set

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Hiroyuki Okazaki

Riemann Integral of Functions R into C

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Keiichi Miyajima | Takahiro Kato | Yasunari Shidama

The Sum and Product of Finite Sequences of Complex Numbers

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Keiichi Miyajima | Takahiro Kato

Routh’s, Menelaus’ and Generalized Ceva’s Theorems

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Boris A. Shminke

Several Higher Differentiation Formulas of Special Functions

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Junjie Zhao | Xiquan Liang | Li Yan

Partial Differentiation of Vector-Valued Functions 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

Integrability Formulas. Part II

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Bo Li | Na Ma | Xiquan Liang

Definition and some Properties of Information Entropy

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Bo Zhang | Yatsuka Nakamura

The Definition of Topological Manifolds

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Marco Riccardi

Determinant of Some Matrices of Field Elements

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Yatsuka Nakamura

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yasunari Shidama

Small Inductive Dimension of Topological Spaces

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Karol Pąk

Some Properties of Some Special Matrices. Part II

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Xiaopeng Yue | Dahai Hu | Xiquan Liang