default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 26
Volume 26, Number 1, April 2018
- Peter Jaeger:
Introduction to Stochastic Finance: Random Variables and Arbitrage Theory. 1-9 - Artur Kornilowicz
, Ievgen Ivanov, Mykola S. Nikitchenko:
Kleene Algebra of Partial Predicates. 11-20 - Roland Coghetto:
Klein-Beltrami Model. Part I. 21-32 - Roland Coghetto:
Klein-Beltrami Model. Part II. 33-48 - Noboru Endou:
Fubini's Theorem for Non-Negative or Non-Positive Functions. 49-67 - Adam Grabowski:
Sequences of Prime Reciprocals. Preliminaries. 69-79 - Karol Pak:
Diophantine sets. Preliminaries. 81-90
Volume 26, Number 2, July 2018
- Rafal Ziobro:
Parity as a Property of Integers. 91-100 - Sebastian Koch:
About Supergraphs. Part I. 101-124 - Sebastian Koch:
About Supergraphs. Part II. 125-140 - Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
On Algebras of Algorithms and Specifications over Uninterpreted Data. 141-147 - Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. 149-158 - Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. 159-164 - Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
Partial Correctness of GCD Algorithm. 165-173 - Marcin Acewicz, Karol Pak:
Basic Diophantine Relations. 175-181 - Adam Grabowski, Michal Sielwiesiuk:
Formalizing Two Generalized Approximation Operators. 183-191 - Adam Grabowski, Damian Sawicki:
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. 193-198
Volume 26, Number 3, October 2018
- Rafal Ziobro:
Arithmetic Operations on Short Finite Sequences. 199-208 - Sebastian Koch:
Some Remarks about Product Spaces. 209-222 - Hiroyuki Okazaki:
Binary Representation of Natural Numbers. 223-229 - Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Continuity of Bounded Linear Operators on Normed Linear Spaces. 231-237
Volume 26, Number 4, December 2018
- Roland Coghetto:
Pythagorean Tuning: Pentatonic and Heptatonic Scale. 239-269 - Adam Grabowski:
Fundamental Properties of Fuzzy Implications. 271-276 - Yasushige Watase:
Zariski Topology. 277-283
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 2024-11-22 19:45 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:
