default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 28
Volume 28, Number 1, April 2020
- Roland Coghetto
:
Klein-Beltrami model. Part III. 1-7 - Roland Coghetto:
Klein-Beltrami model. Part IV. 9-21 - Sebastian Koch:
Miscellaneous Graph Preliminaries. 23-39 - Sebastian Koch:
About Graph Complements. 41-63 - Katsumi Wasaki:
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I. 65-77 - Yasushige Watase:
Rings of Fractions and Localization. 79-87 - Hiroshi Fujiwara, Hokuto Watari, Hiroaki Yamamoto:
Dynamic Programming for the Subset Sum Problem. 89-92 - Noboru Endou:
Reconstruction of the One-Dimensional Lebesgue Measure. 93-104 - Adam Grabowski:
Developing Complementary Rough Inclusion Functions. 105-113 - Adam Naumowicz:
Elementary Number Theory Problems. Part I. 115-120 - Adam Grabowski:
On Fuzzy Negations Generated by Fuzzy Implications. 121-128
Volume 28, Number 2, July 2020
- Christoph Schwarzweller:
Renamings and a Condition-free Formalization of Kronecker's Construction. 129-135 - Sebastian Koch:
Refined Finiteness and Degree Properties in Graphs. 137-154 - Sebastian Koch:
About Graph Unions and Intersections. 155-171 - Sebastian Koch:
Unification of Graphs and Relations in Mizar. 173-186 - Artur Kornilowicz:
Partial Correctness of a Fibonacci Algorithm. 187-196 - Rafal Ziobro:
Multiplication-Related Classes of Complex Numbers. 197-210 - Karol Pak:
Grothendieck Universes. 211-215 - Dominik Kulesza, Adam Grabowski:
Formalization of Quasilattices. 217-225
Volume 28, Number 3, October 2020
- Roland Coghetto:
A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods. 227-237 - Sebastian Koch:
Extended Natural Numbers and Counters. 239-249 - Christoph Schwarzweller:
Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials. 251-261
Volume 28, Number 4, December 2020
- Hiroshi Yamazaki:
Functional Sequence in Norm Space. 263-268 - Adrian Jaszczak:
General Theory and Tools for Proving Algorithms in Nominative Data Systems. 269-278 - Adrian Jaszczak:
Partial Correctness of an Algorithm Computing Lucas Sequences. 279-288
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-18 20:35 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:
