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

Integrability and the Integral of Partial Functions from R into R1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Masahiko Yamazaki

Sequences of Prime Reciprocals. Preliminaries

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Adam Grabowski

Renamings and a Condition-free Formalization of Kronecker’s Construction

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Christoph Schwarzweller

Formalization of Quasilattices

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Dominik Kulesza | Adam Grabowski

Refined Finiteness and Degree Properties in Graphs

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Sebastian Koch

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

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Piotr Rudnicki | Lorna Stewart

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

Integral of Measurable Function1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: 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