default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized 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
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.
last updated on 2025-01-16 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
