On Multiset Ordering

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Grzegorz Bancerek

Determinant and Inverse of Matrices of Real Elements

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Nobuyuki Tamura | Yatsuka Nakamura

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

Basic Properties of Periodic Functions

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Bo Li | Dailu Li | Yanhong Men | Xiquan Liang

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Ievgen Ivanov | Mykola Nikitchenko | Andrii Kryvolap | Artur Korniłowicz

Formulation of Cell Petri Nets

JOURNAL ARTICLE published 1 December 2013 in Formalized Mathematics

Authors: Mitsuru Jitsukawa | Pauline N. Kawamoto | Yasunari Shidama

Submodule of free Z-module

JOURNAL ARTICLE published 1 December 2013 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Yasunari Shidama

Developing Complementary Rough Inclusion Functions

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Adam Grabowski

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Ievgen Ivanov | Artur Korniłowicz | Mykola Nikitchenko

Some Remarks about Product Spaces

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Sebastian Koch

Partial Correctness of a Factorial Algorithm

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Adrian Jaszczak | Artur Korniłowicz

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

Pocklington's Theorem and Bertrand's Postulate

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Marco Riccardi

Gauss Lemma and Law of Quadratic Reciprocity

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Li Yan | Xiquan Liang | Junjie Zhao

Conway's Games and Some of their Basic Properties

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Robin Nittka

Natural Addition of Ordinals

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Sebastian Koch