Journal: Formalized Mathematics

Volume 20, Issue 4

257 -- 263Hiroyuki Okazaki. Posterior Probability on Finite Set
265 -- 269Na Ma, Xiquan Liang. Basic Properties of Primitive Root and Order Function
271 -- 274Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama. Banach's Continuous Inverse Theorem and Closed Graph Theorem
275 -- 280Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Free ℤ-module
281 -- 290Artur Kornilowicz. Cayley-Dickson Construction
291 -- 301Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama. Contracting Mapping on Normed Linear Space
303 -- 307Artur Kornilowicz. Products in Categories without Uniqueness of cod and dom
309 -- 341Grzegorz Bancerek. Program Algebra over an Algebra
343 -- 347Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama. Isomorphisms of Direct Products of Finite Cyclic Groups
349 -- 357Yasushige Watase, Noboru Endou, Yasunari Shidama. On L1 Space Formed by Complex-Valued Partial Functions

Volume 20, Issue 3

193 -- 197Julian J. Schlöder, Peter Koepke. Transition of Consistency and Satisfiability under Language Extensions
199 -- 203Julian J. Schlöder, Peter Koepke. The Gödel Completeness Theorem for Uncountable Languages
205 -- 214Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Quotient Module of Z-module
215 -- 219Mariusz Giero. The Derivations of Temporal Logic Formulas
221 -- 226Mariusz Giero. The Properties of Sets of Temporal Logic Subformulas
227 -- 234Mariusz Giero. Weak Completeness Theorem for Propositional Linear Time Temporal Logic
235 -- 237Karol Pak. The Friendship Theorem
239 -- 256Grzegorz Bancerek. Free Term Algebras

Volume 20, Issue 2

97 -- 104Marco Riccardi, Artur Kornilowicz. Fundamental Group of n-sphere for n ≥ 2
105 -- 112Artur Kornilowicz, Marco Riccardi. The Borsuk-Ulam Theorem
113 -- 124Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama. Higher-Order Partial Differentiation
125 -- 146Hiroyuki Okazaki, Yasunari Shidama. Formalization of the Data Encryption Standard
147 -- 155Grzegorz Bancerek. Semantics of MML Query
157 -- 159Boris A. Shminke. Routh's, Menelaus' and Generalized Ceva's Theorems
161 -- 174Piotr Rudnicki, Lorna Stewart. Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph
175 -- 179Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama. Extended Euclidean Algorithm and CRT Algorithm
181 -- 191Christoph Schwarzweller. Introduction to Rational Functions

Volume 20, Issue 1

1 -- 5Peter Jaeger. Elementary Introduction to Stochastic Finance in Discrete Time
7 -- 14Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz. Valuation Theory. Part I
15 -- 22Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. 0(ω)
23 -- 29Karol Pak. The Rotation Group
31 -- 40Yasunari Shidama. Differentiable Functions on Normed Linear Spaces
41 -- 45Marco Riccardi. Planes and Spheres as Topological Manifolds. Stereographic Projection
47 -- 59Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Z-modules
61 -- 63Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki. Morphology for Image Processing. Part I
65 -- 71Keiko Narita, Artur Kornilowicz, Yasunari Shidama. n
73 -- 77Xiquan Liang, Tao Wang. Some Basic Properties of Some Special Matrices. Part III
79 -- 86Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama. n-dimensional Real Normed Space
87 -- 95Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama. Operations of Points on Elliptic Curve in Projective Coordinates