Probability on Finite and Discrete Set and Uniform Distribution

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Hiroyuki Okazaki

Elementary Introduction to Stochastic Finance in Discrete Time

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Peter Jaeger

Submodule of free Z-module

JOURNAL ARTICLE published 1 December 2013 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Yasunari Shidama

Some Remarks about Product Spaces

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Sebastian Koch

Cross-Ratio in Real Vector Space

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Roland Coghetto

About Quotient Orders and Ordering Sequences

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Sebastian Koch

Basic Properties of Even and Odd Functions

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Bo Li | Yanhong Men

The Quaternion Numbers

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Xiquan Liang | Fuguo Ge

Kolmogorov's Zero-One Law

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Agnes Doll

Morphology for Image Processing. Part I

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Hiroshi Yamazaki | Czesław Byliński | Katsumi Wasaki

Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Magdalena Jastrzębska

Miscellaneous Facts about Open Functions and Continuous Functions

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Artur Korniłowicz

Cayley-Dickson Construction

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Artur Korniłowicz

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Kazuhisa Ishida | Yasunari Shidama

Klein-Beltrami Model. Part I

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Roland Coghetto

Some Basic Properties of Some Special Matrices. Part III

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Xiquan Liang | Tao Wang

Algebraic Numbers

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Yasushige Watase

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Masahiko Yamazaki | Hiroshi Yamazaki | Yasunari Shidama

On Roots of Polynomials and Algebraically Closed Fields

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Christoph Schwarzweller

Some Special Matrices of Real Elements and Their Properties

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Xiquan Liang | Fuguo Ge | Xiaopeng Yue