Formalized Mathematics, 2022, Volume 30, Issue 1
: [6]
Strona glówna kolekcji
Zobacz statystyki
Contents
-
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Takao Inoué oraz Riku Hanaoka
-
Compactness of Neural Networks
Keiichi Miyajima oraz Hiroshi Yamazaki
-
Splitting Fields for the Rational Polynomials X²−2, X²+X+1, X³−1, and X³−2
Christoph Schwarzweller oraz Sara Burgoa
-
Absolutely Integrable Functions
Noboru Endou
-
Non-Trivial Universes and Sequences of Universes
Roland Coghetto
-
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces
Kazuhisa Nakasho oraz Yuichi Futa
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 6 z 6
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2022 | Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces | Nakasho, Kazuhisa; Futa, Yuichi | - | - |
2022 | Non-Trivial Universes and Sequences of Universes | Coghetto, Roland | - | - |
2022 | Absolutely Integrable Functions | Endou, Noboru | - | - |
2022 | Splitting Fields for the Rational Polynomials X²−2, X²+X+1, X³−1, and X³−2 | Schwarzweller, Christoph; Burgoa, Sara | - | - |
2022 | Compactness of Neural Networks | Miyajima, Keiichi; Yamazaki, Hiroshi | - | - |
2022 | Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II | Inoué, Takao; Hanaoka, Riku | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 6 z 6