Sorting by Exchanging

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Grzegorz Bancerek

The Relevance of Measure and Probability, and Definition of Completeness of Probability

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Bo Zhang | Hiroshi Yamazaki | Yatsuka Nakamura

Integral of Complex-Valued Measurable Function

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Keiko Narita | Noboru Endou | Yasunari Shidama

Complex Function Differentiability

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Chanapat Pacharapokin | Hiroshi Yamazaki | Yasunari Shidama | Yatsuka Nakamura

Normal Subgroup of Product of Groups

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Kenichi Arai | Yasunari Shidama

Model Checking. Part II

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Kazuhisa Ishida

Uniform Boundedness Principle

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Hideki Sakurai | Hisayoshi Kunimune | Yasunari Shidama

Ramsey's Theorem

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Marco Riccardi

Formalization of the Advanced Encryption Standard. Part I

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Kenichi Arai | Hiroyuki Okazaki

Some Properties of p-Groups and Commutative p-Groups

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Xiquan Liang | Dailu Li

Congruences and Quotient Algebras of BCI-algebras

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Yuzhong Ding | Zhiyong Pang

The Cauchy-Riemann Differential Equations of Complex Functions

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Hiroshi Yamazaki | Yasunari Shidama | Yatsuka Nakamura | Chanapat Pacharapokin

Basic Properties of Circulant Matrices and Anti-Circular Matrices

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Xiaopeng Yue | Xiquan Liang

Continuity of Multilinear Operator on Normed Linear Spaces

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yasunari Shidama

Integral of Non Positive Functions

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Noboru Endou

The Friendship Theorem

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Karol Pąk

Epsilon Numbers and Cantor Normal Form

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Grzegorz Bancerek

Dilworth's Decomposition Theorem for Posets

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Piotr Rudnicki

Klein-Beltrami model. Part IV

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Roland Coghetto

Topology from Neighbourhoods

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Roland Coghetto