|
Mizar Mathematical Library
(version 5.68.1412) includes
1414 articles
written by
263 authors and
65362 theorems,
13521 definitions,
891 schemes,
17297 registrations,
9979 symbols.
(more statistics, other versions)
New:
monograph: TG Set Theory
authors by # of important facts
environment explanation
decode
-
Yuri Matiyasevich, Julia Robinson, Martin Davis, Hilary Putnam Theorem (submitted May 27, 2019)
formalized by
Karol Pak
-
Partial correctness of a POWER algorithm (submitted May 27, 2019)
formalized by
Adrian Jaszczak
-
unconditional composition rule for 5 programs (submitted May 27, 2019)
formalized by
Adrian Jaszczak
-
Partial correctness of a FACTORIAL algorithm (submitted May 27, 2019)
formalized by
Adrian Jaszczak,
Artur Kornilowicz
-
unconditional composition rule for 4 programs (submitted May 27, 2019)
formalized by
Adrian Jaszczak,
Artur Kornilowicz
-
unconditional composition rule for 3 programs (submitted May 27, 2019)
formalized by
Adrian Jaszczak,
Artur Kornilowicz
-
8.24 Lemma (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.22 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.21 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.20 Lemma (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.18 Satz - Existence (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.18 Satz - Uniqueness (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.16 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.15 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.14 (iii) Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.14 (ii) Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.14 (i) Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.13 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.12 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.10 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.9 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.8 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.7 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.6 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.5 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.3 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
8.2 Satz (submitted March 11, 2019)
formalized by
Roland Coghetto,
Adam Grabowski
-
Fubini`s theorem (submitted March 11, 2019)
formalized by
Noboru Endou
-
Markov's inequality (submitted March 11, 2019)
formalized by
Noboru Endou
-
Partial correctness of GCD algorithm (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
SF rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
SF_1 rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
SFID rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
SFID_1 rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
assignment rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
DP rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
unconditional while rule (UWH) (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
unconditional composition rule (USEQ) (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
unconditional composition rule (USEQ) (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
while rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
IF rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
composition rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
inversion rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
skip rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
CONS_2 rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
CONS_1 rule (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
Distributivity law (submitted June 29, 2018)
formalized by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
-
Telescoping series (submitted March 27, 2018)
formalized by
Adam Grabowski
-
Makarios: Lemma 6 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
Krippenfigur (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.22 Satz: Krippenlemma, (Gupta 1965, 3.45 Theorem) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.22 Satz, part 2 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.22 Satz, part 1 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.21 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.20 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.19 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.18 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.17 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.16 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.15 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.13 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.10 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.9 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.8 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.7 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.6 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.4 Uniqueness (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.4 Existence (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.3 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
7.2 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.28 Satz, introduced by Beeson (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.25 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.24 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.23 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.21 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.19 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.18 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.17 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.16 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.15 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.13 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.11 Satz b) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.11 Satz a) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
METAMATH: segcon2 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.7 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.6 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.5 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.4 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.3 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
6.2 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.12 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
METAMATH: endofsegidand (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.12 Lemma 3 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.12 Lemma 2 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.12 Lemma 1 (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.11 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.10 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.9 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.8 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.7 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.6 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.5 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.3 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.2 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
5.1 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.19 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.18 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.17 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.16 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.14 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.13 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.12 Sazz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.11 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.6 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.5 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.3 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
4.2 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.17 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.15 Satz (n = 5) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.15 Satz (n = 4) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.15 Satz (n = 3) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.14 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.13 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.12 Satz (n = 4, l = 3) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.12 Satz (n = 4, l = 2) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.12 Satz (n = 4, l = 1) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.12 Satz (n = 3, l = 2) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.12 Satz (n = 3, l = 1) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.11 Satz (n = 3, l = 3) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.11 Satz (n = 3, l = 2) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.11 Satz (n = 3, l = 1) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.11 Satz (n = 3, l = 2) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.11 Satz (n = 3, l = 1) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.10 Satz (n = 5) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.10 Satz (n = 4) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.9 Satz (n = 5) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.9 Satz (n = 4) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.9 Satz (n = 3) (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.7 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.6 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.5 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.4 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.3 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.2 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
3.1 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.12 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.11 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.8 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.5 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.4 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.3 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.2 Satz bis (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.2 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.1 Satz bis (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
2.1 Satz (submitted November 29, 2017)
formalized by
Roland Coghetto,
Adam Grabowski
-
Hurwitz's theorem (number theory) (submitted November 29, 2017)
formalized by
Yasushige Watase
-
The Cardinality of the Pell's Solutions (submitted August 30, 2017)
formalized by
Marcin Acewicz,
Karol Pak
-
#39 Solutions to Pell's Equation (submitted August 30, 2017)
formalized by
Marcin Acewicz,
Karol Pak
-
Basel problem (submitted June 27, 2017)
formalized by
Karol Pak,
Artur Kornilowicz
-
Pascal's theorem (submitted June 27, 2017)
formalized by
Roland Coghetto
MML links:
Latest 30 articles (the query:
list of article ordered by historical order reversed select 0-29)
-
hilb10_5:
Formalization of the MRDP Theorem in the Mizar System
by
Karol Pak
(submitted May 27, 2019)
21 theorems,
4 definitions,
2 schemes,
9 registrations,
authors:Karol Pak,
abstract,
semantically linked,
FM
,
full article,
gab.
-
hilb10_4:
Diophantine Sets -- Preliminaries
by
Karol Pak
(submitted May 27, 2019)
39 theorems,
1 definition,
no schemes,
8 registrations,
authors:Karol Pak,
abstract,
semantically linked,
FM
,
full article,
gab.
-
nomin_6:
Partial Correctness of a Power Algorithm
by
Adrian Jaszczak
(submitted May 27, 2019)
11 theorems,
13 definitions,
no schemes,
2 registrations,
authors:Adrian Jaszczak,
abstract,
semantically linked,
FM
,
full article,
gab.
-
nomin_5:
Partial Correctness of a Factorial Algorithm
by
Adrian Jaszczak,
Artur Kornilowicz
(submitted May 27, 2019)
13 theorems,
20 definitions,
no schemes,
2 registrations,
authors:Adrian Jaszczak. Artur Kornilowicz,
abstract,
semantically linked,
FM
,
full article,
gab.
-
field_2:
On Monomorphisms and Subfields
by
Christoph Schwarzweller
(submitted May 27, 2019)
19 theorems,
8 definitions,
no schemes,
5 registrations,
authors:Christoph Schwarzweller,
abstract,
semantically linked,
FM
,
full article,
gab.
-
ndiff_9:
Implicit Function Theorem -- Part II
by
Kazuhisa Nakasho,
Yasunari Shidama
(submitted May 27, 2019)
21 theorems,
no definitions,
no schemes,
no registrations,
authors:Kazuhisa Nakasho. Yasunari Shidama,
abstract,
semantically linked,
FM
,
full article,
gab.
-
lopban13:
Invertible Operators on Banach Spaces
by
Kazuhisa Nakasho
(submitted May 27, 2019)
31 theorems,
3 definitions,
no schemes,
no registrations,
authors:Kazuhisa Nakasho,
abstract,
semantically linked,
FM
,
full article,
gab.
-
lopban12:
Isomorphisms from the Space of Multilinear Operators
by
Kazuhisa Nakasho
(submitted May 27, 2019)
16 theorems,
1 definition,
no schemes,
5 registrations,
authors:Kazuhisa Nakasho,
abstract,
semantically linked,
FM
,
full article,
gab.
-
field_1:
On Roots of Polynomials over K[X]/<p>
by
Christoph Schwarzweller
(submitted March 28, 2019)
45 theorems,
6 definitions,
no schemes,
13 registrations,
authors:Christoph Schwarzweller,
abstract,
semantically linked,
FM
,
full article,
gab.
-
ntalgo_2:
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
by
Hiroyuki Okazaki,
Koich Nagao,
Yuichi Futa
(submitted March 11, 2019)
22 theorems,
2 definitions,
no schemes,
no registrations,
authors:Yuichi Futa. Koich Nagao. Hiroyuki Okazaki,
abstract,
semantically linked,
FM
,
full article,
gab.
-
gtarski4:
Tarski Geometry Axioms. Part IV -- Right angle
by
Roland Coghetto,
Adam Grabowski
(submitted March 11, 2019)
48 theorems,
9 definitions,
no schemes,
no registrations,
authors:Roland Coghetto. Adam Grabowski,
abstract,
semantically linked,
FM
,
full article,
gab.
-
mesfun13:
Fubini's Theorem
by
Noboru Endou
(submitted March 11, 2019)
33 theorems,
2 definitions,
no schemes,
1 registration,
authors:Noboru Endou,
abstract,
semantically linked,
FM
,
full article,
gab.
-
lopban11:
Continuity of Multilinear Operator on Normed Linear Spaces
by
Kazuhisa Nakasho,
Yasunari Shidama
(submitted February 27, 2019)
14 theorems,
no definitions,
no schemes,
1 registration,
authors:Kazuhisa Nakasho. Yasunari Shidama,
abstract,
semantically linked,
FM
,
full article,
gab.
-
anproj10:
Cross-ratio in Real Vector Space
by
Roland Coghetto
(submitted February 27, 2019)
77 theorems,
30 definitions,
no schemes,
6 registrations,
authors:Roland Coghetto,
abstract,
semantically linked,
FM
,
full article,
gab.
-
lopban10:
Multilinear Operator and Its Basic Properties
by
Kazuhisa Nakasho
(submitted February 27, 2019)
52 theorems,
16 definitions,
no schemes,
20 registrations,
authors:Kazuhisa Nakasho,
abstract,
semantically linked,
FM
,
full article,
gab.
-
pdiffeq1:
A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
by
Sora Otsuki,
Pauline N. Kawamoto,
Hiroshi Yamazaki
(submitted February 27, 2019)
23 theorems,
no definitions,
no schemes,
2 registrations,
authors:Pauline N Kawamoto. Sora Otsuki. Hiroshi Yamazaki,
abstract,
semantically linked,
FM
,
full article,
gab.
-
lopban_9:
Bilinear Operators on Normed Linear Spaces
by
Kazuhisa Nakasho
(submitted February 27, 2019)
27 theorems,
9 definitions,
no schemes,
18 registrations,
authors:Kazuhisa Nakasho,
abstract,
semantically linked,
FM
,
full article,
gab.
-
rvsum_4:
Concatenation of Finite Sequences
by
Rafal Ziobro
(submitted February 27, 2019)
68 theorems,
14 definitions,
no schemes,
91 registrations,
authors:Rafal Ziobro,
abstract,
semantically linked,
FM
,
full article,
gab.
-
topzari1:
Zariski Topology
by
Yasushige Watase
(submitted October 16, 2018)
39 theorems,
16 definitions,
no schemes,
15 registrations,
authors:Yasushige Watase,
abstract,
semantically linked,
FM
,
full article,
gab.
-
fuzimpl2:
Fundamental Properties of Fuzzy Implications
by
Adam Grabowski
(submitted September 29, 2018)
17 theorems,
4 definitions,
no schemes,
17 registrations,
authors:Adam Grabowski,
abstract,
semantically linked,
FM
,
full article,
gab.
-
music_s1:
Pythagorean Tuning: Pentatonic and Heptatonic Scale
by
Roland Coghetto
(submitted September 29, 2018)
118 theorems,
103 definitions,
no schemes,
17 registrations,
authors:Roland Coghetto,
abstract,
semantically linked,
FM
,
full article,
gab.
-
lopban_8:
Continuity of Bounded Linear Operators on Normed Linear Spaces
by
Kazuhisa Nakasho,
Yuichi Futa,
Yasunari Shidama
(submitted September 29, 2018)
13 theorems,
3 definitions,
no schemes,
3 registrations,
authors:Yuichi Futa. Kazuhisa Nakasho. Yasunari Shidama,
abstract,
semantically linked,
FM
,
full article,
gab.
-
binari_6:
Binary Representation of Natural Numbers
by
Hiroyuki Okazaki
(submitted September 29, 2018)
41 theorems,
10 definitions,
no schemes,
2 registrations,
authors:Hiroyuki Okazaki,
abstract,
semantically linked,
FM
,
full article,
gab.
-
tops_5:
Some Remarks about Product Spaces
by
Sebastian Koch
(submitted September 29, 2018)
82 theorems,
5 definitions,
no schemes,
20 registrations,
authors:Sebastian Koch,
abstract,
semantically linked,
FM
,
full article,
gab.
-
finseq_9:
Arithmetic Operations on Short Finite Sequences
by
Rafal Ziobro
(submitted September 29, 2018)
51 theorems,
3 definitions,
no schemes,
121 registrations,
authors:Rafal Ziobro,
abstract,
semantically linked,
FM
,
full article,
gab.
-
robbins5:
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
by
Adam Grabowski,
Damian Sawicki
(submitted June 29, 2018)
15 theorems,
6 definitions,
no schemes,
6 registrations,
authors:Adam Grabowski. Damian Sawicki,
abstract,
semantically linked,
FM
,
full article,
gab.
-
roughs_5:
Formalizing Two Generalized Approximation Operators
by
Adam Grabowski,
Michal Sielwiesiuk
(submitted June 29, 2018)
53 theorems,
7 definitions,
no schemes,
7 registrations,
authors:Adam Grabowski. Michal Sielwiesiuk,
abstract,
semantically linked,
FM
,
full article,
gab.
-
hilb10_3:
Basic Diophantine Relations
by
Marcin Acewicz,
Karol Pak
(submitted June 29, 2018)
24 theorems,
no definitions,
5 schemes,
1 registration,
authors:Marcin Acewicz. Karol Pak,
abstract,
semantically linked,
FM
,
full article,
gab.
-
nomin_4:
Partial correctness of GCD algorithm
by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
(submitted June 29, 2018)
27 theorems,
28 definitions,
3 schemes,
5 registrations,
authors:Ievgen Ivanov. Artur Kornilowicz. Mykola Nikitchenko,
abstract,
semantically linked,
FM
,
full article,
gab.
-
nomin_3:
An inference system of an extension of Floyd-Hoare logic for partial predicates
by
Ievgen Ivanov,
Artur Kornilowicz,
Mykola Nikitchenko
(submitted June 29, 2018)
33 theorems,
4 definitions,
no schemes,
1 registration,
authors:Ievgen Ivanov. Artur Kornilowicz. Mykola Nikitchenko,
abstract,
semantically linked,
FM
,
full article,
gab.
Full list in reversed historical order
(start querying)
and lexical order
of MML Id,
titles,
authors.
- version 5.68.1412
- version 5.57.1355
[differences]
- version 5.45.1305
[differences]
- version 5.33.1254
[differences]
- version 5.25.1220
[differences]
[Compare two versions]
|
|