


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













