default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 30
Volume 30, Number 1, April 2022
- Takao Inoué
, Riku Hanaoka:
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II. 1-12 - Keiichi Miyajima, Hiroshi Yamazaki:
Compactness of Neural Networks. 13-21 - Christoph Schwarzweller, Sara Burgoa:
Splitting Fields for the Rational Polynomials X2-2, X2+X+1, X3-1, and X3-2. 23-30 - Noboru Endou:
Absolutely Integrable Functions. 31-52 - Roland Coghetto:
Non-Trivial Universes and Sequences of Universes. 53-66 - Kazuhisa Nakasho, Yuichi Futa:
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. 67-77
Volume 30, Number 2, July 2022
- Alexander M. Nelson:
Characteristic Subgroups. 79-91 - Kazuhisa Nakasho:
Transformation Tools for Real Linear Spaces. 93-98 - Sebastian Koch:
Introduction to Graph Colorings. 99-124 - Takashi Mitsuishi:
Definition of Centroid Method as Defuzzification. 125-134 - Artur Kornilowicz:
Elementary Number Theory Problems. Part III. 135-158
Volume 30, Number 3, October 2022
- Kazuhisa Nakasho, Yasunari Shidama:
On Implicit and Inverse Function Theorems on Euclidean Spaces. 159-168 - Karol Pak:
Prime Representing Polynomial with 10 Unknowns - Introduction. 169-198 - Christoph Schwarzweller:
Artin's Theorem Towards the Existence of Algebraic Closures. 199-207 - Mario Carneiro:
The Divergence of the Sum of Prime Reciprocals. 209-210 - Yasushige Watase:
Ring of Endomorphisms and Modules over a Ring. 211-221 - Artur Kornilowicz:
Elementary Number Theory Problems. Part IV. 223-228 - Artur Kornilowicz, Adam Naumowicz:
Elementary Number Theory Problems. Part V. 229-234 - Adam Grabowski:
Elementary Number Theory Problems. Part VI. 235-244
Volume 30, Number 4, December 2022
- Karol Pak:
Prime Representing Polynomial with 10 Unknowns - Introduction. Part II. 245-253 - Karol Pak:
Prime Representing Polynomial with 10 Unknowns. 255-279 - Christoph Schwarzweller:
Existence and Uniqueness of Algebraic Closures. 281-294 - Hiroyuki Okazaki:
Formalization of Orthogonal Decomposition for Hilbert Spaces. 295-299
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-04 20:33 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:
