Journal: Formalized Mathematics

Volume 26, Issue 4

239 -- 269Roland Coghetto. Pythagorean Tuning: Pentatonic and Heptatonic Scale
271 -- 276Adam Grabowski. Fundamental Properties of Fuzzy Implications
277 -- 283Yasushige Watase. Zariski Topology

Volume 26, Issue 3

199 -- 208Rafal Ziobro. Arithmetic Operations on Short Finite Sequences
209 -- 222Sebastian Koch. Some Remarks about Product Spaces
223 -- 229Hiroyuki Okazaki. Binary Representation of Natural Numbers
231 -- 237Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama. Continuity of Bounded Linear Operators on Normed Linear Spaces

Volume 26, Issue 2

91 -- 100Rafal Ziobro. Parity as a Property of Integers
101 -- 124Sebastian Koch. About Supergraphs. Part I
125 -- 140Sebastian Koch. About Supergraphs. Part II
141 -- 147Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. On Algebras of Algorithms and Specifications over Uninterpreted Data
149 -- 158Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
159 -- 164Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
165 -- 173Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. Partial Correctness of GCD Algorithm
175 -- 181Marcin Acewicz, Karol Pak. Basic Diophantine Relations
183 -- 191Adam Grabowski, Michal Sielwiesiuk. Formalizing Two Generalized Approximation Operators
193 -- 198Adam Grabowski, Damian Sawicki. On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander

Volume 26, Issue 1

1 -- 9Peter Jaeger. Introduction to Stochastic Finance: Random Variables and Arbitrage Theory
11 -- 20Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko. Kleene Algebra of Partial Predicates
21 -- 32Roland Coghetto. Klein-Beltrami Model. Part I
33 -- 48Roland Coghetto. Klein-Beltrami Model. Part II
49 -- 67Noboru Endou. Fubini's Theorem for Non-Negative or Non-Positive Functions
69 -- 79Adam Grabowski. Sequences of Prime Reciprocals. Preliminaries
81 -- 90Karol Pak. Diophantine sets. Preliminaries