Journal: Formalized Mathematics

Volume 22, Issue 4

277 -- 289Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama. Torsion Z-module and Torsion-free Z-module
291 -- 301Artur Kornilowicz, Christoph Schwarzweller. The First Isomorphism Theorem and Other Properties of Rings
303 -- 311Keiko Narita, Noboru Endou, Yasunari Shidama. Bidual Spaces and Reflexivity of Real Normed Spaces
313 -- 319Roland Coghetto. Some Facts about Trigonometry and Euclidean Geometry
321 -- 327Adam Grabowski. The Formal Construction of Fuzzy Numbers

Volume 22, Issue 3

189 -- 198Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
199 -- 204Peter Jaeger. Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
205 -- 208Rafal Ziobro. Some Remarkable Identities Involving Numbers
209 -- 223Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama. Topological Properties of Real Normed Space
225 -- 255Grzegorz Bancerek. Algebraic Approach to Algorithmic Logic
257 -- 267Adam Grabowski. Formalization of Generalized Almost Distributive Lattices
269 -- 275Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki. Difference of Function on Vector Space over F

Volume 22, Issue 2

0 -- 0Adam Grabowski, Yasunari Shidama. Preface
99 -- 103Marco B. Caminati, Artur Kornilowicz. Pseudo-Canonical Formulae are Classical
105 -- 110Yasushige Watase. Lagrange's Four-Square Theorem
111 -- 118Christoph Schwarzweller. Proth Numbers
119 -- 123Karol Pak. Bertrand's Ballot Theorem
125 -- 155Grzegorz Bancerek. Term Context
157 -- 166Adam Grabowski. Cauchy Mean Theorem
167 -- 176William Richter, Adam Grabowski, Jesse Alama. Tarski Geometry Axioms
177 -- 178Adam Naumowicz. A Note on the Seven Bridges of Königsberg Problem
179 -- 186Karol Pak. Topological Manifolds

Volume 22, Issue 1

1 -- 10Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski. Definition of Flat Poset and Existence Theorems for Recursive Call
11 -- 19Karol Pak. Tietze Extension Theorem for n-dimensional Spaces
21 -- 28Karol Pak. Brouwer Invariance of Domain Theorem
29 -- 35Pratima K. Shah, Pauline N. Kawamoto, Mariusz Giero. The Formalization of Decision-Free Petri Net
37 -- 56Grzegorz Bancerek. Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
57 -- 68Noboru Endou. Double Series and Sums
69 -- 77Keiko Narita, Noboru Endou, Yasunari Shidama. Dual Spaces and Hahn-Banach Theorem
79 -- 84Roland Coghetto. Semiring of Sets
85 -- 88Roland Coghetto. Semiring of Sets: Examples
89 -- 97Adam Grabowski. Topological Interpretation of Rough Sets