![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Formalized Mathematics, Volume 23
Volume 23, Number 1, March 2015
- Marco Riccardi:
Categorical Pullbacks. 1-14 - Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama:
Definition and Properties of Direct Sum Decomposition of Groups1. 15-27 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Matrix of ℤ-module1. 29-49 - Noboru Endou
, Kazuhisa Nakasho, Yasunari Shidama:
σ-ring and σ-algebra of Sets1. 51-57 - Kazuhisa Nakasho, Noboru Endou
:
Separability of Real Normed Spaces and Its Basic Properties. 59-65 - Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama:
Equivalent Expressions of Direct Sum Decomposition of Groups1. 67-73
Volume 23, Number 2, June 2015
- Roland Coghetto
:
Morley's Trisector Theorem. 75-79 - Karol Pak
:
Flexary Operations. 81-92 - Karol Pak
:
Euler's Partition Theorem. 93-99 - Yasushige Watase:
Introduction to Diophantine Approximation. 101-106 - Roland Coghetto
:
Finite Product of Semiring of Sets. 107-114 - Adam Grabowski
:
Two Axiomatizations of Nelson Algebras. 115-125 - Roland Coghetto
:
Groups - Additive Notation. 127-160
Volume 23, Number 3, September 2015
- Taneli Huuskonen:
Polish Notation. 161-176 - Taneli Huuskonen:
Grzegorczyk's Logics. Part I. 177-187 - Roland Coghetto
:
Convergent Filter Bases. 189-203 - Hiroyuki Okazaki, Yuichi Futa:
Polynomially Bounded Sequences and Polynomial Sequences. 205-213 - Rafal Ziobro
:
Fermat's Little Theorem via Divisibility of Newton's Binomial. 215-229 - Keiko Narita, Yasunari Shidama, Noboru Endou
:
Weak Convergence and Weak Convergence. 231-241 - Keiko Narita, Noboru Endou
, Yasunari Shidama:
The Orthogonal Projection and the Riesz Representation Theorem. 243-252 - Noboru Endou
:
Extended Real-Valued Double Sequence and Its Convergence. 253-277
Volume 23, Number 4, December 2015
- Roland Coghetto:
Summable Family in a Commutative Group. 279-288 - Roland Coghetto
:
Topology from Neighbourhoods. 289-296 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Torsion Part of ℤ-module. 297-307 - Noboru Endou
:
Construction of Measure from Semialgebra of Sets1. 309-323 - Ievgen Ivanov, Mykola S. Nikitchenko
, Uri Abraham:
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. 325-331 - Christoph Schwarzweller
, Artur Kornilowicz
:
Characteristic of Rings. Prime Fields. 333-349 - Marco Riccardi:
Exponential Objects. 351-369 - Hiroyuki Okazaki:
Algebra of Polynomially Bounded Sequences and Negligible Functions. 371-378 - Mariusz Giero:
Propositional Linear Temporal Logic with Initial Validity Semantics1. 379-386 - Adam Grabowski
:
Stone Lattices. 387-396
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.