Basic Operations on Preordered Coherent Spaces

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Klaus Grue | Artur Korniłowicz

Summable Family in a Commutative Group

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Roland Coghetto

Constructing Binary Huffman Tree

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yuichi Futa | Yasunari Shidama

Cell Petri Net Concepts

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

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

Collective Operations on Number-Membered Sets

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Artur Korniłowicz

Basic Properties of Determinants of Square Matrices over a Field¹

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Karol Pąk

Binary Representation of Natural Numbers

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Hiroyuki Okazaki

Zariski Topology

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Yasushige Watase

On Subnomials

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Rafał Ziobro

Continuity of Bounded Linear Operators on Normed Linear Spaces

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Ievgen Ivanov | Mykola Nikitchenko | Uri Abraham

Brouwer Fixed Point Theorem in the General Case

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk

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