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

Several Integrability Formulas of Special Functions. Part II

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Bo Li | Yanping Zhuang | Yanhong Men | Xiquan Liang

Several Differentiation Formulas of Special Functions. Part VII

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Fuguo Ge | Bing Xie

Several Differentiation Formulas of Special Functions. Part III

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Bo Li | Yan Zhang | Xiquan Liang

Torsion Part of ℤ-module

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Yasunari Shidama

Towards the Construction of a Model of Mizar Concepts

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Grzegorz Bancerek

Propositional Linear Temporal Logic with Initial Validity Semantics¹

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Mariusz Giero

First Order Languages: Further Syntax and Semantics

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Marco Caminati

Inner Products, Group, Ring of Quaternion Numbers

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Fuguo Ge

Introduction to Stopping Time in Stochastic Finance Theory

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Peter Jaeger

Riemann Integral of Functions from R into Real Normed Space

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Keiichi Miyajima | Takahiro Kato | Yasunari Shidama

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

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

Partial Correctness of a Factorial Algorithm

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Adrian Jaszczak | Artur Korniłowicz

About Graph Unions and Intersections

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Sebastian Koch

Regular Expression Quantifiers - at least m Occurrences

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Michał Trybulec

Stone Lattices

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Adam Grabowski

The Lebesgue Monotone Convergence Theorem

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Noboru Endou | Keiko Narita | Yasunari Shidama

Basic Properties of Periodic Functions

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

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

Pocklington's Theorem and Bertrand's Postulate

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Marco Riccardi