Reconstruction of the One-Dimensional Lebesgue Measure

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Noboru Endou

Gauss Lemma and Law of Quadratic Reciprocity

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Li Yan | Xiquan Liang | Junjie Zhao

Integral of Measurable Function1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama

Formalizing Two Generalized Approximation Operators

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Adam Grabowski | Michał Sielwiesiuk

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

Formulation of Cell Petri Nets

JOURNAL ARTICLE published 1 December 2013 in Formalized Mathematics

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

Klein-Beltrami Model. Part I

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Roland Coghetto

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Piotr Rudnicki | Lorna Stewart

Difference and Difference Quotient. Part II

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Bo Li | Yanping Zhuang | Xiquan Liang

Some Operations on Quaternion Numbers

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Bo Li | Xiquan Liang | Pan Wang | Yanping Zhuang

The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Bo Zhang | Yatsuka Nakamura

A Model of Mizar Concepts - Unification

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Grzegorz Bancerek

Homography in ℝℙ

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Roland Coghetto

Introduction to Formal Preference Spaces

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Eliza Niewiadomska | Adam Grabowski

Pascal’s Theorem in Real Projective Plane

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Roland Coghetto

Fubini’s Theorem for Non-Negative or Non-Positive Functions

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Noboru Endou

Rings of Fractions and Localization

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Yasushige Watase

Second-Order Partial Differentiation of Real Binary Functions

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Bing Xie | Xiquan Liang | Xiuzhuan Shen

The Rotation Group

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Karol Pąk