Table of contents
-
Improvement of Radix-$2^k$ Signed-Digit 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 Jing-Chao 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 Jing-Chao 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 Series-Parallel Graphs, II
by Krzysztof Retel
-
Characterization and Existence of Gr\"obner Bases
by Christoph Schwarzweller
-
Construction of Gr\"obner bases. S-Polynomials and
Standard Representations
by Christoph Schwarzweller
-
On the Subcontinua of a Real Line
by Adam Grabowski
-
On the Kuratowski Closure-Complement 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 3-dimensional
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