Formalized Mathematics - researchr journal

65	--	68	Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama. n-Dimensional Real Normed Linear Spaces
69	--	72	Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama. Differentiable Functions into Real Normed Spaces
73	--	81	Robin Nittka. Conway's Games and Some of their Basic Properties
83	--	92	Grzegorz Bancerek. Veblen Hierarchy
93	--	102	Grzegorz Bancerek. Sorting by Exchanging
103	--	108	Karol Pak. Linear Transformations of Euclidean Topological Spaces
109	--	112	Karol Pak. Linear Transformations of Euclidean Topological Spaces. Part II
113	--	119	Mariusz Giero. The Axiomatization of Propositional Linear Time Temporal Logic
121	--	126	Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. Banach Algebra of Bounded Complex-Valued Functionals

External Links