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