default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 27
Volume 27, Number 1, April 2019
- Rafal Ziobro
:
Concatenation of Finite Sequences. 1-13 - Kazuhisa Nakasho:
Bilinear Operators on Normed Linear Spaces. 15-23 - Sora Otsuki, Pauline N. Kawamoto, Hiroshi Yamazaki:
A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables. 25-34 - Kazuhisa Nakasho:
Multilinear Operator and Its Basic Properties. 35-45 - Roland Coghetto:
Cross-Ratio in Real Vector Space. 47-60 - Kazuhisa Nakasho, Yasunari Shidama:
Continuity of Multilinear Operator on Normed Linear Spaces. 61-65 - Noboru Endou:
Fubini's Theorem. 67-74 - Roland Coghetto, Adam Grabowski:
Tarski Geometry Axioms. Part IV - Right Angle. 75-85 - Hiroyuki Okazaki, Koh-ichi Nagao, Yuichi Futa:
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm. 87-91
Volume 27, Number 2, July 2019
- Christoph Schwarzweller:
On Roots of Polynomials over F[X]/ 〈p〉. 93-100 - Kazuhisa Nakasho:
Isomorphisms from the Space of Multilinear Operators. 101-106 - Kazuhisa Nakasho:
Invertible Operators on Banach Spaces. 107-115 - Kazuhisa Nakasho, Yasunari Shidama:
Implicit Function Theorem. Part II. 117-131 - Christoph Schwarzweller:
On Monomorphisms and Subfields. 133-137 - Sebastian Koch:
Natural Addition of Ordinals. 139-152 - Sebastian Koch:
About Supergraphs. Part III. 153-179 - Adrian Jaszczak, Artur Kornilowicz:
Partial Correctness of a Factorial Algorithm. 181-187 - Adrian Jaszczak:
Partial Correctness of a Power Algorithm. 189-195 - Karol Pak:
Diophantine Sets. Part II. 197-208 - Karol Pak:
Formalization of the MRDP Theorem in the Mizar System. 209-221
Volume 27, Number 3, October 2019
- Christoph Schwarzweller:
On the Intersection of Fields F with F [X]. 223-228 - Christoph Schwarzweller:
Field Extensions and Kronecker's Construction. 229-235 - Sebastian Koch:
Underlying Simple Graphs. 237-259 - Sebastian Koch:
About Graph Mappings. 261-301 - Sebastian Koch:
About Vertex Mappings. 303-313 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Operations of Points on Elliptic Curve in Affine Coordinates. 315-320
Volume 27, Number 4, December 2019
- Chad E. Brown, Karol Pak:
AIM Loops and the AIM Conjecture. 321-335 - Adam Grabowski:
Formal Development of Rough Inclusion Functions. 337-345
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-23 20:20 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:
