External Links

    Journal: Formalized Mathematics

    Volume 23, Issue 4

    279 -- 288Roland Coghetto. Summable Family in a Commutative Group
    289 -- 296Roland Coghetto. Topology from Neighbourhoods
    297 -- 307Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Torsion Part of ℤ-module
    309 -- 323Noboru Endou. Construction of Measure from Semialgebra of Sets1
    325 -- 331Ievgen Ivanov, Mykola Nikitchenko, Uri Abraham. Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm
    333 -- 349Christoph Schwarzweller, Artur Kornilowicz. Characteristic of Rings. Prime Fields
    351 -- 369Marco Riccardi. Exponential Objects
    371 -- 378Hiroyuki Okazaki. Algebra of Polynomially Bounded Sequences and Negligible Functions
    379 -- 386Mariusz Giero. Propositional Linear Temporal Logic with Initial Validity Semantics1
    387 -- 396Adam Grabowski. Stone Lattices

    Volume 23, Issue 3

    161 -- 176Taneli Huuskonen. Polish Notation
    177 -- 187Taneli Huuskonen. Grzegorczyk's Logics. Part I
    189 -- 203Roland Coghetto. Convergent Filter Bases
    205 -- 213Hiroyuki Okazaki, Yuichi Futa. Polynomially Bounded Sequences and Polynomial Sequences
    215 -- 229Rafal Ziobro. Fermat's Little Theorem via Divisibility of Newton's Binomial
    231 -- 241Keiko Narita, Yasunari Shidama, Noboru Endou. Weak Convergence and Weak Convergence
    243 -- 252Keiko Narita, Noboru Endou, Yasunari Shidama. The Orthogonal Projection and the Riesz Representation Theorem
    253 -- 277Noboru Endou. Extended Real-Valued Double Sequence and Its Convergence

    Volume 23, Issue 2

    75 -- 79Roland Coghetto. Morley's Trisector Theorem
    81 -- 92Karol Pak. Flexary Operations
    93 -- 99Karol Pak. Euler's Partition Theorem
    101 -- 106Yasushige Watase. Introduction to Diophantine Approximation
    107 -- 114Roland Coghetto. Finite Product of Semiring of Sets
    115 -- 125Adam Grabowski. Two Axiomatizations of Nelson Algebras
    127 -- 160Roland Coghetto. Groups - Additive Notation

    Volume 23, Issue 1

    1 -- 14Marco Riccardi. Categorical Pullbacks
    15 -- 27Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Definition and Properties of Direct Sum Decomposition of Groups1
    29 -- 49Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Matrix of ℤ-module1
    51 -- 57Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama. σ-ring and σ-algebra of Sets1
    59 -- 65Kazuhisa Nakasho, Noboru Endou. Separability of Real Normed Spaces and Its Basic Properties
    67 -- 73Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama. Equivalent Expressions of Direct Sum Decomposition of Groups1
    runs on