Journal: Formalized Mathematics

Volume 21, Issue 2

75 -- 81Kenichi Arai, Hiroyuki Okazaki. N-Dimensional Binary Vector Spaces
83 -- 85Adam St. Arnaud, Piotr Rudnicki. Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
87 -- 94Adam Naumowicz, Radoslaw Piliszek. More on Divisibility Criteria for Selected Primes
95 -- 102Noboru Endou, Yasunari Shidama. Differentiation in Normed Spaces
103 -- 113Adam Grabowski. Polygonal Numbers
115 -- 125Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama. Gaussian Integers
127 -- 131Artur Kornilowicz. Commutativeness of Fundamental Groups of Topological Groups
133 -- 143Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama. Constructing Binary Huffman Tree
145 -- 152Keiko Narita, Noboru Endou, Yasunari Shidama. Riemann Integral of Functions from ℝ into Real Banach Space
153 -- 162Adam Grabowski. On Square-Free Numbers