Pell’s Equation

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Marcin Acewicz | Karol Pąk

Modular Integer Arithmetic

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Christoph Schwarzweller

On the Representation of Natural Numbers in Positional Numeral Systems1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Adam Naumowicz

Continuity of Bounded Linear Operators on Normed Linear Spaces

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Sora Otsuki | Pauline N. Kawamoto | Hiroshi Yamazaki

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Ievgen Ivanov | Mykola Nikitchenko | Uri Abraham

Inverse Trigonometric Functions Arcsec and Arccosec

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Bing Xie | Xiquan Liang | Fuguo Ge

Heron's Formula and Ptolemy's Theorem

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Marco Riccardi

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Takao Inoué | Noboru Endou | Yasunari Shidama

Prime Filters and Ideals in Distributive Lattices

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Adam Grabowski

Double Sequences and Limits

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Noboru Endou | Hiroyuki Okazaki | Yasunari Shidama

Borel-Cantelli Lemma

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Peter Jaeger

Vieta’s Formula about the Sum of Roots of Polynomials

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Artur Korniłowicz | Karol Pąk

Lebesgue's Convergence Theorem of Complex-Valued Function

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Keiko Narita | Noboru Endou | Yasunari Shidama

Connectedness and Continuous Sequences in Finite Topological Spaces

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Yatsuka Nakamura

Several Classes of BCI-algebras and their Properties

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Yuzhong Ding

On L1 Space Formed by Real-Valued Partial Functions

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Yasushige Watase | Noboru Endou | Yasunari Shidama

Weak Completeness Theorem for Propositional Linear Time Temporal Logic

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Mariusz Giero

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