default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 22
Volume 22, Number 1, March 2014
- Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski:
Definition of Flat Poset and Existence Theorems for Recursive Call. 1-10 - Karol Pak
:
Tietze Extension Theorem for n-dimensional Spaces. 11-19 - Karol Pak:
Brouwer Invariance of Domain Theorem. 21-28 - Pratima K. Shah, Pauline N. Kawamoto, Mariusz Giero:
The Formalization of Decision-Free Petri Net. 29-35 - Grzegorz Bancerek:
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm. 37-56 - Noboru Endou:
Double Series and Sums. 57-68 - Keiko Narita, Noboru Endou, Yasunari Shidama:
Dual Spaces and Hahn-Banach Theorem. 69-77 - Roland Coghetto:
Semiring of Sets. 79-84 - Roland Coghetto:
Semiring of Sets: Examples. 85-88 - Adam Grabowski:
Topological Interpretation of Rough Sets. 89-97
Volume 22, Number 2, June 2014
- Adam Grabowski, Yasunari Shidama:
Preface. i-iv - Marco B. Caminati, Artur Kornilowicz:
Pseudo-Canonical Formulae are Classical. 99-103 - Yasushige Watase:
Lagrange's Four-Square Theorem. 105-110 - Christoph Schwarzweller:
Proth Numbers. 111-118 - Karol Pak:
Bertrand's Ballot Theorem. 119-123 - Grzegorz Bancerek:
Term Context. 125-155 - Adam Grabowski:
Cauchy Mean Theorem. 157-166 - William Richter, Adam Grabowski, Jesse Alama:
Tarski Geometry Axioms. 167-176 - Adam Naumowicz:
A Note on the Seven Bridges of Königsberg Problem. 177-178 - Karol Pak:
Topological Manifolds. 179-186
Volume 22, Number 3, September 2014
- Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. 189-198 - Peter Jaeger:
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance. 199-204 - Rafal Ziobro:
Some Remarkable Identities Involving Numbers. 205-208 - Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Topological Properties of Real Normed Space. 209-223 - Grzegorz Bancerek:
Algebraic Approach to Algorithmic Logic. 225-255 - Adam Grabowski:
Formalization of Generalized Almost Distributive Lattices. 257-267 - Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki:
Difference of Function on Vector Space over F. 269-275
Volume 22, Number 4, December 2014
- Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama:
Torsion Z-module and Torsion-free Z-module. 277-289 - Artur Kornilowicz, Christoph Schwarzweller:
The First Isomorphism Theorem and Other Properties of Rings. 291-301 - Keiko Narita, Noboru Endou, Yasunari Shidama:
Bidual Spaces and Reflexivity of Real Normed Spaces. 303-311 - Roland Coghetto:
Some Facts about Trigonometry and Euclidean Geometry. 313-319 - Adam Grabowski:
The Formal Construction of Fuzzy Numbers. 321-327
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-02-15 00:21 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:
