Fubini’s Theorem

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Noboru Endou

Properties of Primes and Multiplicative Group of a Field

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Kenichi Arai | Hiroyuki Okazaki

Partial Correctness of GCD Algorithm

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

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

About Vertex Mappings

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Sebastian Koch

Gaussian Integers

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Daichi Mizushima | Yasunari Shidama

Formally Real Fields

JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics

Authors: Christoph Schwarzweller

Helly Property for Subtrees

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Jessica Enright | Piotr Rudnicki

Chordal Graphs

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Broderick Arneson | Piotr Rudnicki

Simple Continued Fractions and Their Convergents

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Bo Li | Yan Zhang | Artur Korniłowicz

About Graph Mappings

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Sebastian Koch

Mizar Analysis of Algorithms: Algorithms over Integers

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Grzegorz Bancerek

Recognizing Chordal Graphs: Lex BFS and MCS1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Broderick Arneson | Piotr Rudnicki

Gauge Integral

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Roland Coghetto

Exponential Objects

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Marco Riccardi

The Differentiable Functions from R into Rn

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Keiko Narita | Artur Korniłowicz | Yasunari Shidama

Contracting Mapping on Normed Linear Space

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

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

Cousin’s Lemma

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Roland Coghetto

The Real Vector Spaces of Finite Sequences are Finite Dimensional

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Yatsuka Nakamura | Artur Korniłowicz | Nagato Oya | Yasunari Shidama

Several Integrability Formulas of Special Functions

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Cuiying Peng | Fuguo Ge | Xiquan Liang

Model Checking. Part III

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Kazuhisa Ishida | Yasunari Shidama