bwmeta1.element.issn-1898-9934, Tome 16 (2008)

Sommaire

The Vector Space of Subsets of a Set Based on Symmetric Difference

Jesse Alama

Access to full text
Full (PDF)

p. 1-5

The Polish Digital Mathematics Library

Euler's Polyhedron Formula

Jesse Alama

Access to full text
Full (PDF)

p. 7-17

The Polish Digital Mathematics Library

Uniform Boundedness Principle

Hideki Sakurai ; Hisayoshi Kunimune ; Yasunari Shidama

Access to full text
Full (PDF)

p. 19-21

The Polish Digital Mathematics Library

Gauss Lemma and Law of Quadratic Reciprocity

Li Yan ; Xiquan Liang ; Junjie Zhao

Access to full text
Full (PDF)

p. 23-28

The Polish Digital Mathematics Library

Regular Expression Quantifiers - at least m Occurrences

Michał Trybulec

Access to full text
Full (PDF)

p. 29-33

The Polish Digital Mathematics Library

Complete Spaces

Karol Pąk

Access to full text
Full (PDF)

p. 35-43

The Polish Digital Mathematics Library

Difference and Difference Quotient. Part II

Bo Li ; Yanping Zhuang ; Xiquan Liang

Access to full text
Full (PDF)

p. 45-49

The Polish Digital Mathematics Library

The First Mean Value Theorem for Integrals

Keiko Narita ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)

p. 51-55

The Polish Digital Mathematics Library

Egoroff's Theorem

Noboru Endou ; Yasunari Shidama ; Keiko Narita

Access to full text
Full (PDF)

p. 57-63

The Polish Digital Mathematics Library

BCI-algebras with Condition (S) and their Properties

Tao Sun ; Junjie Zhao ; Xiquan Liang

Access to full text
Full (PDF)

p. 65-71

The Polish Digital Mathematics Library

Stability of n -Bit Generalized Full Adder Circuits (GFAs). Part II

Katsumi Wasaki

Access to full text
Full (PDF)

p. 73-80

The Polish Digital Mathematics Library

Solutions of Linear Equations

Karol Pąk

Access to full text
Full (PDF)

p. 81-90

The Polish Digital Mathematics Library

Helly Property for Subtrees

Jessica Enright ; Piotr Rudnicki

Access to full text
Full (PDF)

p. 91-96

The Polish Digital Mathematics Library

Heron's Formula and Ptolemy's Theorem

Marco Riccardi

Access to full text
Full (PDF)

p. 97-101

The Polish Digital Mathematics Library

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)

p. 103-107

The Polish Digital Mathematics Library

Ideals of BCI-algebras and their Properties

Chenglong Wu ; Yuzhong Ding

Access to full text
Full (PDF)

p. 109-114

The Polish Digital Mathematics Library

Banach Algebra of Bounded Functionals

Yasunari Shidama ; Hikofumi Suzuki ; Noboru Endou

Access to full text
Full (PDF)

p. 115-122

The Polish Digital Mathematics Library

Convex Sets and Convex Combinations on Complex Linear Spaces

Hidenori Matsuzaki ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)

p. 123-133

The Polish Digital Mathematics Library

Inner Products, Group, Ring of Quaternion Numbers

Fuguo Ge

Access to full text
Full (PDF)

p. 135-139

The Polish Digital Mathematics Library

Several Higher Differentiation Formulas of Special Functions

Junjie Zhao ; Xiquan Liang ; Li Yan

Access to full text
Full (PDF)

p. 141-145

The Polish Digital Mathematics Library

Inverse Trigonometric Functions Arctan and Arccot

Xiquan Liang ; Bing Xie

Access to full text
Full (PDF)

p. 147-158

The Polish Digital Mathematics Library

Inverse Trigonometric Functions Arcsec and Arccosec

Bing Xie ; Xiquan Liang ; Fuguo Ge

Access to full text
Full (PDF)

p. 159-165

The Polish Digital Mathematics Library

The Lebesgue Monotone Convergence Theorem

Noboru Endou ; Keiko Narita ; Yasunari Shidama

Access to full text
Full (PDF)

p. 167-175

The Polish Digital Mathematics Library

Mizar Analysis of Algorithms: Algorithms over Integers

Grzegorz Bancerek

Access to full text
Full (PDF)

p. 177-194

The Polish Digital Mathematics Library

Invertibility of Matrices of Field Elements

Yatsuka Nakamura ; Kunio Oniumi ; Wenpai Chang

Access to full text
Full (PDF)

p. 195-202

The Polish Digital Mathematics Library

Ramsey's Theorem

Marco Riccardi

Access to full text
Full (PDF)

p. 203-205

The Polish Digital Mathematics Library

Towards the Construction of a Model of Mizar Concepts

Grzegorz Bancerek

Access to full text
Full (PDF)

p. 207-230

The Polish Digital Mathematics Library

Model Checking. Part II

Kazuhisa Ishida

Access to full text
Full (PDF)

p. 231-245

The Polish Digital Mathematics Library

Modular Integer Arithmetic

Christoph Schwarzweller

Access to full text
Full (PDF)

p. 247-252

The Polish Digital Mathematics Library

General Theory of Quasi-Commutative BCI-algebras

Tao Sun ; Weibo Pan ; Chenglong Wu ; Xiquan Liang

Access to full text
Full (PDF)

p. 253-258

The Polish Digital Mathematics Library

Block Diagonal Matrices

Karol Pąk

Access to full text
Full (PDF)

p. 259-267

The Polish Digital Mathematics Library

Linear Map of Matrices

Karol Pąk

Access to full text
Full (PDF)

p. 269-275

The Polish Digital Mathematics Library

Orthomodular Lattices

Elżbieta Mądra ; Adam Grabowski

Access to full text
Full (PDF)

p. 277-282

The Polish Digital Mathematics Library

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

Yatsuka Nakamura ; Hisashi Ito

Access to full text
Full (PDF)

p. 283-288

The Polish Digital Mathematics Library

Eigenvalues of a Linear Transformation

Karol Pąk

Access to full text
Full (PDF)

p. 289-295

The Polish Digital Mathematics Library

Jordan Matrix Decomposition

Karol Pąk

Access to full text
Full (PDF)

p. 297-303

The Polish Digital Mathematics Library

Fatou's Lemma and the Lebesgue's Convergence Theorem

Noboru Endou ; Keiko Narita ; Yasunari Shidama

Access to full text
Full (PDF)

p. 305-309

The Polish Digital Mathematics Library

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform

Masahiko Yamazaki ; Hiroshi Yamazaki ; Yasunari Shidama

Access to full text
Full (PDF)

p. 311-317

The Polish Digital Mathematics Library

Integral of Complex-Valued Measurable Function

Keiko Narita ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)

p. 319-324

The Polish Digital Mathematics Library

Introduction to Matroids

Grzegorz Bancerek ; Yasunari Shidama

Access to full text
Full (PDF)

p. 325-332

The Polish Digital Mathematics Library

Partial Differentiation of Real Binary Functions

Bing Xie ; Xiquan Liang ; Hongwei Li

Access to full text
Full (PDF)

p. 333-338

The Polish Digital Mathematics Library

Model Checking. Part III

Kazuhisa Ishida ; Yasunari Shidama

Access to full text
Full (PDF)

p. 339-353

The Polish Digital Mathematics Library

Basic Properties of Circulant Matrices and Anti-Circular Matrices

Xiaopeng Yue ; Xiquan Liang

Access to full text
Full (PDF)

p. 355-360

The Polish Digital Mathematics Library

On L 1 Space Formed by Real-Valued Partial Functions

Yasushige Watase ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)

p. 361-369

The Polish Digital Mathematics Library

BCI-homomorphisms

Yuzhong Ding ; Fuguo Ge ; Chenglong Wu

Access to full text
Full (PDF)

p. 371-376

The Polish Digital Mathematics Library

Stability of the 4-2 Binary Addition Circuit Cells. Part I

Katsumi Wasaki

Access to full text
Full (PDF)

p. 377-387

The Polish Digital Mathematics Library

Several Differentiation Formulas of Special Functions. Part VII

Fuguo Ge ; Bing Xie

Access to full text
Full (PDF)

p. 389-399

The Polish Digital Mathematics Library

Open Mapping Theorem

Hideki Sakurai ; Hisayoshi Kunimune ; Yasunari Shidama

Access to full text
Full (PDF)

p. 401-403

The Polish Digital Mathematics Library