Formalized Mathematics, 2019, Volume 27, Issue 1
: [9]
Strona glówna kolekcji
Zobacz statystyki
Contents
-
Concatenation of Finite Sequences
By: Rafał Ziobro
-
Bilinear Operators on Normed Linear Spaces
By: Kazuhisa Nakasho
-
A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
By: Sora Otsuki, Pauline N. Kawamoto and Hiroshi Yamazaki
-
Multilinear Operator and Its Basic Properties
By: Kazuhisa Nakasho
-
Cross-Ratio in Real Vector Space
By: Roland Coghetto
-
Continuity of Multilinear Operator on Normed Linear Spaces
By: Kazuhisa Nakasho and Yasunari Shidama
-
Fubini’s Theorem
By: Noboru Endou
-
Tarski Geometry Axioms. Part IV – Right Angle
By: Roland Coghetto and Adam Grabowski
-
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
By: Hiroyuki Okazaki, Koh-ichi Nagao and Yuichi Futa
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 9 z 9
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2019 | Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm | Okazaki, Hiroyuki; Nagao, Koh-ichi; Futa, Yuichi | - | - |
2019 | Tarski Geometry Axioms. Part IV – Right Angle | Coghetto, Roland; Grabowski, Adam | - | - |
2019 | Fubini’s Theorem | Endou, Noboru | - | - |
2019 | Continuity of Multilinear Operator on Normed Linear Spaces | Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2019 | Cross-Ratio in Real Vector Space | Coghetto, Roland | - | - |
2019 | Multilinear Operator and Its Basic Properties | Nakasho, Kazuhisa | - | - |
2019 | A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables | Otsuki, Sora; Kawamoto, Pauline N.; Yamazaki, Hiroshi | - | - |
2019 | Bilinear Operators on Normed Linear Spaces | Nakasho, Kazuhisa | - | - |
2019 | Concatenation of Finite Sequences | Ziobro, Rafał | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 9 z 9