Constructing Binary Huffman Tree

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yuichi Futa | Yasunari Shidama

Basic Operations on Preordered Coherent Spaces

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Klaus Grue | Artur Korniłowicz

Commutativeness of Fundamental Groups of Topological Groups

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Artur Korniłowicz

Summable Family in a Commutative Group

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Roland Coghetto

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Katsumasa Okamura

Linear Map of Matrices

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Karol Pąk

Cell Petri Net Concepts

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Mitsuru Jitsukawa | Pauline Kawamoto | Yasunari Shidama | Yatsuka Nakamura

Renamings and a Condition-free Formalization of Kronecker’s Construction

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Christoph Schwarzweller

Formalization of Quasilattices

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Dominik Kulesza | Adam Grabowski

Refined Finiteness and Degree Properties in Graphs

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Sebastian Koch

Collective Operations on Number-Membered Sets

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Artur Korniłowicz

Free Magmas

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Marco Riccardi

The Sylow Theorems

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Marco Riccardi

Banach Algebra of Bounded Functionals

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Yasunari Shidama | Hikofumi Suzuki | Noboru Endou

Affine Independence in Vector Spaces

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Karol Pąk

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