Table of contents

Improvement of Radix$2^k$ SignedDigit Number for High Speed Circuit
by Masaaki Niimura and Yasushi Fuwa

High Speed Adder Algorithm with Radix$2^k$ SD\_Sub Number
by Masaaki Niimura and Yasushi Fuwa

The Underlying Principle of Dijkstra's Shortest Path Algorithm
by JingChao Chen and Yatsuka Nakamura

On the Hausdorff Distance Between Compact Subsets
by Adam Grabowski

Chains on a Grating in Euclidean Space
by Freek Wiedijk

Bessel's Inequality
by Hiroshi Yamazaki, Yasunari Shidama, and Yatsuka Nakamura

A Representation of Integers by Binary Arithmetics
and Addition of Integers
by Hisayoshi Kunimune and Yatsuka Nakamura

The Inner Product of Finite Sequences and of Points
of $n$dimensional Topological Space
by Kanchun and Yatsuka Nakamura

Solving Roots of Polynomial Equation of Degree 4 with
Real Coefficients
by Xiquan Liang

Morphism Into Chains, Part I
by Artur Kornilowicz

Propositional Calculus for Boolean Valued Functions, VII
by Shunichi Kobayashi

Basic Notions and Properties of Orthoposets
by Markus Moschner

Dijkstra's Shortest Path Algorithm
by JingChao Chen

General Fashoda Meet Theorem for Unit Circle and Square
by Yatsuka Nakamura

On Some Properties of Real Hilbert Space, I
by Hiroshi Yamazaki, Yasumasa Suzuki, Takao Inoue, and Yasunari Shidama

Full Subtracter Circuit. Part II
by Shin'nosuke Yamaguchi, Grzegorz Bancerek, and Katsumi Wasaki

Real Linear Space of Real Sequences
by Noboru Endou, Yasumasa Suzuki, and Yasunari Shidama

Hilbert Space of Real Sequences
by Noboru Endou, Yasumasa Suzuki, and Yasunari Shidama

Intuitionistic Propositional Calculus in the Extended Framework
with Modal Operator, Part I
by Takao Inoue

Some Properties for Convex Combinations
by Noboru Endou, Yasumasa Suzuki, and Yasunari Shidama

On Some Properties of Real Hilbert Space, II
by Hiroshi Yamazaki, Yasumasa Suzuki, Takao Inoue, and Yasunari Shidama

Inner Products and Angles of Complex Numbers
by Wenpai Chang and Yatsuka Nakamura

Angle and Triangle in Euclidian Topological Space
by Akihiro Kubo and Yatsuka Nakamura

The Class of SeriesParallel Graphs, II
by Krzysztof Retel

Characterization and Existence of Gr\"obner Bases
by Christoph Schwarzweller

Construction of Gr\"obner bases. SPolynomials and
Standard Representations
by Christoph Schwarzweller

On the Subcontinua of a Real Line
by Adam Grabowski

On the Kuratowski ClosureComplement Problem
by Lilla Krystyna Baginska and Adam Grabowski

Convex Hull, Set of Convex Combinations and Convex Cone
by Noboru Endou and Yasunari Shidama

On the Two Short Axiomatizations of Ortholattices
by Wioletta Truszkowska and Adam Grabowski

Definition of Convex Function and Jensen's Inequality
by Grigory E. Ivanov

On Semilattice Structure of Mizar Types
by Grzegorz Bancerek

Lines in $n$Dimensional Euclidean Spaces
by Akihiro Kubo

Banach Space of Absolute Summable Real Sequences
by Yasumasa Suzuki, Noboru Endou, and Yasunari Shidama

Cross Products and Tripple Vector Products in 3dimensional
Euclidian Space
by Kanchun , Hiroshi Yamazaki, and Yatsuka Nakamura

Calculation of Matrices of Field Elements. Part I
by Yatsuka Nakamura and Hiroshi Yamazaki

Lattice of Fuzzy Sets
by Takashi Mitsuishi and Grzegorz Bancerek

On the Kuratowski Limit Operators
by Adam Grabowski

On the Segmentation of a Simple Closed Curve
by Andrzej Trybulec

On the Sets Inhabited by Numbers
by Andrzej Trybulec

On the Calculus of Binary Arithmetics
by Shunichi Kobayashi

SCMPDS Is Not Standard
by Artur Kornilowicz and Yasunari Shidama

On the Upper and Lower Approximations of the Curve
by Robert Milewski

Sorting Operators for Finite Sequences
by Yatsuka Nakamura

Magnitude Relation Properties of Radix$2^k$ SD Number
by Masaaki Niimura and Yasushi Fuwa

High Speed Modulo Calculation Algorithm with Radix$2^k$ SD Number
by Masaaki Niimura and Yasushi Fuwa

Transitive Closure of Fuzzy Relations
by Takashi Mitsuishi and Grzegorz Bancerek

Basic Properties of Rough Sets and Rough Membership Function
by Adam Grabowski

Correctness of Non Overwriting Programs. Part I
by Yatsuka Nakamura

A Tree of Execution of a Macroinstruction
by Artur Kornilowicz

Banach Space of Bounded Linear Operators
by Yasunari Shidama

Little Bezout Theorem (Factor Theorem)
by Piotr Rudnicki

Primitive Roots of Unity and Cyclotomic Polynomials
by Broderic Arneson and Piotr Rudnicki

Witt's Proof of the Wedderburn Theorem
by Broderic Arneson, Matthias Baaz, and Piotr Rudnicki
[MML identifier index,
Mizar home page]
January 6, 2004