Probability on Finite Set and Real-Valued Random Variables

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yasunari Shidama

Counting Derangements, Non Bijective Functions and the Birthday Problem

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Cezary Kaliszyk

Equivalence of Deterministic and Nondeterministic Epsilon Automata

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Michał Trybulec

BCI-algebras with Condition (S) and their Properties

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Tao Sun | Junjie Zhao | Xiquan Liang

Construction of Measure from Semialgebra of Sets¹

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Noboru Endou

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

On Monomorphisms and Subfields

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

Underlying Simple Graphs

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Sebastian Koch

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