Sommaire

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

Takao Inoué ; Adam Naumowicz ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 1-9

The Polish Digital Mathematics Library
Some Properties of p -Groups and Commutative p -Groups

Xiquan Liang ; Dailu Li

Access to full text
Full (PDF)
p. 11-15

The Polish Digital Mathematics Library
Riemann Integral of Functions from R into Real Normed Space

Keiichi Miyajima ; Takahiro Kato ; Yasunari Shidama

Access to full text
Full (PDF)
p. 17-22

The Polish Digital Mathematics Library
Normal Subgroup of Product of Groups

Hiroyuki Okazaki ; Kenichi Arai ; Yasunari Shidama

Access to full text
Full (PDF)
p. 23-26

The Polish Digital Mathematics Library
The Mycielskian of a Graph

Piotr Rudnicki ; Lorna Stewart

Access to full text
Full (PDF)
p. 27-34

The Polish Digital Mathematics Library
Difference and Difference Quotient. Part IV

Xiquan Liang ; Ling Tang ; Xichun Jiang

Access to full text
Full (PDF)
p. 35-39

The Polish Digital Mathematics Library
The Definition of Topological Manifolds

Marco Riccardi

Access to full text
Full (PDF)
p. 41-44

The Polish Digital Mathematics Library
More on Continuous Functions on Normed Linear Spaces

Hiroyuki Okazaki ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 45-49

The Polish Digital Mathematics Library
Cartesian Products of Family of Real Linear Spaces

Hiroyuki Okazaki ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 51-59

The Polish Digital Mathematics Library
Formalization of Integral Linear Space

Yuichi Futa ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 61-64

The Polish Digital Mathematics Library
Partial Differentiation, Differentiation and Continuity on n -Dimensional Real Normed Linear Spaces

Takao Inoué ; Adam Naumowicz ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 65-68

The Polish Digital Mathematics Library
Differentiable Functions into Real Normed Spaces

Hiroyuki Okazaki ; Noboru Endou ; Keiko Narita ; Yasunari Shidama

Access to full text
Full (PDF)
p. 69-72

The Polish Digital Mathematics Library
Conway's Games and Some of their Basic Properties

Robin Nittka

Access to full text
Full (PDF)
p. 73-81

The Polish Digital Mathematics Library
Veblen Hierarchy

Grzegorz Bancerek

Access to full text
Full (PDF)
p. 83-92

The Polish Digital Mathematics Library
Sorting by Exchanging

Grzegorz Bancerek

Access to full text
Full (PDF)
p. 93-102

The Polish Digital Mathematics Library
Linear Transformations of Euclidean Topological Spaces

Karol Pąk

Access to full text
Full (PDF)
p. 103-108

The Polish Digital Mathematics Library
Linear Transformations of Euclidean Topological Spaces. Part II

Karol Pąk

Access to full text
Full (PDF)
p. 109-112

The Polish Digital Mathematics Library
The Axiomatization of Propositional Linear Time Temporal Logic

Mariusz Giero

Access to full text
Full (PDF)
p. 113-119

The Polish Digital Mathematics Library
Banach Algebra of Bounded Complex-Valued Functionals

Katuhiko Kanazashi ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 121-126

The Polish Digital Mathematics Library
Mazur-Ulam Theorem

Artur Korniłowicz

Access to full text
Full (PDF)
p. 127-130

The Polish Digital Mathematics Library
Set of Points on Elliptic Curve in Projective Coordinates

Yuichi Futa ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 131-138

The Polish Digital Mathematics Library
Continuity of Barycentric Coordinates in Euclidean Topological Spaces

Karol Pąk

Access to full text
Full (PDF)
p. 139-144

The Polish Digital Mathematics Library
Brouwer Fixed Point Theorem for Simplexes

Karol Pąk

Access to full text
Full (PDF)
p. 145-150

The Polish Digital Mathematics Library
Brouwer Fixed Point Theorem in the General Case

Karol Pąk

Access to full text
Full (PDF)
p. 151-153

The Polish Digital Mathematics Library
Preliminaries to Classical First Order Model Theory

Marco Caminati

Access to full text
Full (PDF)
p. 155-167

The Polish Digital Mathematics Library
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms

Marco Caminati

Access to full text
Full (PDF)
p. 169-178

The Polish Digital Mathematics Library
First Order Languages: Further Syntax and Semantics

Marco Caminati

Access to full text
Full (PDF)
p. 179-192

The Polish Digital Mathematics Library
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

Marco Caminati

Access to full text
Full (PDF)
p. 193-203

The Polish Digital Mathematics Library
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

Marco Caminati

Access to full text
Full (PDF)
p. 205-222

The Polish Digital Mathematics Library
Cayley's Theorem

Artur Korniłowicz

Access to full text
Full (PDF)
p. 223-225

The Polish Digital Mathematics Library
Borel-Cantelli Lemma

Peter Jaeger

Access to full text
Full (PDF)
p. 227-232

The Polish Digital Mathematics Library
More on the Continuity of Real Functions

Keiko Narita ; Artur Kornilowicz ; Yasunari Shidama

Access to full text
Full (PDF)
p. 233-239

The Polish Digital Mathematics Library
Representation Theorem for Stacks

Grzegorz Bancerek

Access to full text
Full (PDF)
p. 241-250

The Polish Digital Mathematics Library