Journal: Formalized Mathematics

Volume 20, Issue 4

257 -- 263Hiroyuki Okazaki. Posterior Probability on Finite Set
265 -- 269Na Ma, Xiquan Liang. Basic Properties of Primitive Root and Order Function
271 -- 274Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama. Banach's Continuous Inverse Theorem and Closed Graph Theorem
275 -- 280Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Free ℤ-module
281 -- 290Artur Kornilowicz. Cayley-Dickson Construction
291 -- 301Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama. Contracting Mapping on Normed Linear Space
303 -- 307Artur Kornilowicz. Products in Categories without Uniqueness of cod and dom
309 -- 341Grzegorz Bancerek. Program Algebra over an Algebra
343 -- 347Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama. Isomorphisms of Direct Products of Finite Cyclic Groups
349 -- 357Yasushige Watase, Noboru Endou, Yasunari Shidama. On L1 Space Formed by Complex-Valued Partial Functions