Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 379 results
Sort by: relevance publication year

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

Summable Family in a Commutative Group

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Roland Coghetto

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

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 Sets1

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

Riemann Integral of Functions from R into n-dimensional Real Normed Space

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Keiichi Miyajima | Artur Korniłowicz | Yasunari Shidama

Free Term Algebras

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Grzegorz Bancerek

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