Journal: Formalized Mathematics

Volume 21, Issue 4

235 -- 239Maciej Golinski, Artur Kornilowicz. Coproducts in Categories without Uniqueness of cod and dom
241 -- 247Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama. Formulation of Cell Petri Nets
249 -- 260Yuichi Futa, Noboru Endou, Yasunari Shidama. Isometric Differentiable Functions on Real Normed Space
261 -- 272Keiko Narita, Noboru Endou, Yasunari Shidama. Differential Equations on Functions from R into Real Banach Space
273 -- 282Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Submodule of free Z-module

Volume 21, Issue 3

163 -- 170Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama. Double Sequences and Limits
171 -- 184Kenichi Arai, Hiroyuki Okazaki. Formalization of the Advanced Encryption Standard. Part I
185 -- 191Keiko Narita, Noboru Endou, Yasunari Shidama. The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
193 -- 205Marco Riccardi. Object-Free Definition of Categories
207 -- 211Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama. Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
213 -- 221Adam Grabowski. Prime Filters and Ideals in Distributive Lattices
223 -- 233Eliza Niewiadomska, Adam Grabowski. Introduction to Formal Preference Spaces

Volume 21, Issue 2

75 -- 81Kenichi Arai, Hiroyuki Okazaki. N-Dimensional Binary Vector Spaces
83 -- 85Adam St. Arnaud, Piotr Rudnicki. Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
87 -- 94Adam Naumowicz, Radoslaw Piliszek. More on Divisibility Criteria for Selected Primes
95 -- 102Noboru Endou, Yasunari Shidama. Differentiation in Normed Spaces
103 -- 113Adam Grabowski. Polygonal Numbers
115 -- 125Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama. Gaussian Integers
127 -- 131Artur Kornilowicz. Commutativeness of Fundamental Groups of Topological Groups
133 -- 143Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama. Constructing Binary Huffman Tree
145 -- 152Keiko Narita, Noboru Endou, Yasunari Shidama. Riemann Integral of Functions from ℝ into Real Banach Space
153 -- 162Adam Grabowski. On Square-Free Numbers

Volume 21, Issue 1

1 -- 23Grzegorz Bancerek. Analysis of Algorithms: An Example of a Sort Algorithm
25 -- 31Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. The Ck Space
33 -- 39Hiroyuki Okazaki, Yasunari Shidama. Random Variables and Product of Probability Spaces
41 -- 46Grzegorz Bancerek. Semantics of MML Query - Ordering
47 -- 53Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller. A Test for the Stability of Networks
55 -- 64Adam Grabowski. Relational Formal Characterization of Rough Sets
65 -- 74Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama. Isomorphisms of Direct Products of Finite Commutative Groups