Journal: Formalized Mathematics

Volume 24, Issue 4

239 -- 251Roland Coghetto. Homography in ℝℙ
253 -- 259Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama. The Basic Existence Theorem of Riemann-Stieltjes Integral
261 -- 273Rafal Ziobro. On Subnomials
275 -- 280Karol Pak. Leibniz Series for π
281 -- 290Mariusz Giero. The Axiomatization of Propositional Logic
291 -- 299Yasushige Watase. Algebraic Numbers
301 -- 308Artur Kornilowicz, Adam Naumowicz. Niven's Theorem

Volume 24, Issue 3

167 -- 172Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama. Compactness in Metric Spaces
173 -- 186Roland Coghetto. Double Sequences and Iterated Limits in Regular Space
187 -- 198Rafal Ziobro. Prime Factorization of Sums and Differences of Two Like Powers
199 -- 204Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama. Riemann-Stieltjes Integral
205 -- 214Roland Coghetto. Quasi-uniform Space
215 -- 226Roland Coghetto. Uniform Space
227 -- 237Christoph Schwarzweller, Artur Kornilowicz. Some Algebraic Properties of Polynomial Rings

Volume 24, Issue 2

95 -- 106Grzegorz Bancerek. On Multiset Ordering
107 -- 119Roland Coghetto. Cousin's Lemma
121 -- 141Roland Coghetto. Chebyshev Distance
143 -- 155Adam Grabowski. Binary Relations-based Rough Sets - an Automated Approach
157 -- 166Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms - Part II

Volume 24, Issue 1

1 -- 16Peter Jaeger. Modelling Real World Using Stochastic Processes and Filtration
17 -- 26Roland Coghetto. Circumcenter, Circumcircle and Centroid of a Triangle
27 -- 36Roland Coghetto. Altitude, Orthocenter of a Triangle and Triangulation
37 -- 47Yuichi Futa, Yasunari Shidama. Divisible ℤ-modules
49 -- 68Yuichi Futa, Yasunari Shidama. Lattice of ℤ-module
69 -- 79Noboru Endou. Product Pre-Measure
81 -- 94Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Conservation Rules of Direct Sum Decomposition of Groups