Journal: Formalized Mathematics

Volume 20, Issue 1

1 -- 5Peter Jaeger. Elementary Introduction to Stochastic Finance in Discrete Time
7 -- 14Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz. Valuation Theory. Part I
15 -- 22Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. 0(ω)
23 -- 29Karol Pak. The Rotation Group
31 -- 40Yasunari Shidama. Differentiable Functions on Normed Linear Spaces
41 -- 45Marco Riccardi. Planes and Spheres as Topological Manifolds. Stereographic Projection
47 -- 59Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Z-modules
61 -- 63Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki. Morphology for Image Processing. Part I
65 -- 71Keiko Narita, Artur Kornilowicz, Yasunari Shidama. n
73 -- 77Xiquan Liang, Tao Wang. Some Basic Properties of Some Special Matrices. Part III
79 -- 86Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama. n-dimensional Real Normed Space
87 -- 95Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama. Operations of Points on Elliptic Curve in Projective Coordinates