Journal: Formalized Mathematics

Volume 17, Issue 1-4

1 -- 9Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama. The Real Vector Spaces of Finite Sequences are Finite Dimensional
11 -- 21Bo Li 0008, Yanping Zhuang, Bing Xie, Pan Wang. Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions
23 -- 35Bo Li 0008, Yanping Zhuang, Yanhong Men, Xiquan Liang. Several Integrability Formulas of Special Functions. Part II
37 -- 42Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura. Cell Petri Net Concepts
43 -- 60Artur Kornilowicz. Arithmetic Operations on Functions from Sets into Functional Sets
61 -- 65Bo Li 0008, Pan Wang, Xiquan Liang, Yanping Zhuang. Some Operations on Quaternion Numbers
67 -- 72Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura. Complex Function Differentiability
73 -- 77Agnes Doll. Kolmogorov's Zero-One Law
79 -- 87Bing Xie, Xiquan Liang, Xiuzhuan Shen. Second-Order Partial Differentiation of Real Binary Functions
89 -- 97Keiko Narita, Noboru Endou, Yasunari Shidama. The Measurability of Complex-Valued Functional Sequences
99 -- 115Artur Kornilowicz. Collective Operations on Number-Membered Sets
117 -- 122Marco Riccardi. Solution of Cubic and Quartic Equations
123 -- 128Marco Riccardi. The Perfect Number Theorem and Wilson's Theorem
129 -- 136Hiroyuki Okazaki, Yasunari Shidama. Probability on Finite Set and Real-Valued Random Variables
137 -- 145Keiko Narita, Noboru Endou, Yasunari Shidama. Lebesgue's Convergence Theorem of Complex-Valued Function
147 -- 149Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin, Yatsuka Nakamura. The Cauchy-Riemann Differential Equations of Complex Functions
151 -- 155Kenichi Arai, Hiroyuki Okazaki. Properties of Primes and Multiplicative Group of a Field
157 -- 162Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama. Hopf Extension Theorem of Measure
163 -- 171Michal Trybulec. Labelled State Transition Systems
173 -- 178Hiroyuki Okazaki. Probability on Finite and Discrete Set and Uniform Distribution
179 -- 185Keiichi Miyajima, Yasunari Shidama. Riemann Integral of Functions from R into Rn
187 -- 192Bo Li 0008, Yanhong Men. Basic Properties of Even and Odd Functions
193 -- 199Michal Trybulec. Equivalence of Deterministic and Nondeterministic Epsilon Automata
201 -- 205Karol Pak. Basic Properties of Metrizable Topological Spaces
207 -- 212Karol Pak. Small Inductive Dimension of Topological Spaces
213 -- 217Xiquan Liang, Dailu Li. On Rough Subgroup of a Group
219 -- 222Karol Pak. Small Inductive Dimension of Topological Spaces. Part II
223 -- 232Piotr Rudnicki. Dilworth's Decomposition Theorem for Posets
233 -- 236Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama. Complex Integral
237 -- 244Adam Grabowski, Magdalena Jastrzebska. On the Lattice of Intervals and Rough Sets
245 -- 248Bo Li 0008, Yanhong Men, Dailu Li, Xiquan Liang. Basic Properties of Periodic Functions
249 -- 256Grzegorz Bancerek. Epsilon Numbers and Cantor Normal Form