


default search action
Formalized Mathematics, Volume 18
Volume 18, Numbers 1-4, 2010
- Xiquan Liang, Piqing Zhao, Ou Bai:
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces. 1-10 - Katuhiko Kanazashi, Noboru Endou
, Yasunari Shidama
:
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support. 11-16 - Marco Riccardi:
Free Magmas. 17-26 - Bo Li, Na Ma:
Integrability Formulas. Part I. 27-37 - Takao Inou'e
, Bing Xie, Xiquan Liang:
Partial Differentiation of Real Ternary Functions. 39-46 - Kazuhisa Ishida, Yasunari Shidama
:
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets. 47-51 - Dailu Li, Xiquan Liang, Yanhong Men:
Nilpotent Groups. 53-56 - Xiquan Liang, Ling Tang:
Difference and Difference Quotient. Part III. 57-64 - Grzegorz Bancerek:
A Model of Mizar Concepts - Unification. 65-75 - Magdalena Jastrzebska:
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling. 77-80 - Artur Kornilowicz
:
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines. 81-85 - Karol Pak
:
Affine Independence in Vector Spaces. 87-93 - Karol Pak
:
Abstract Simplicial Complexes. 95-106 - Keiichi Miyajima, Takahiro Kato:
The Sum and Product of Finite Sequences of Complex Numbers. 107-111 - Takao Inou'e
:
Second-Order Partial Differentiation of Real Ternary Functions. 113-127 - Bo Li, Na Ma, Xiquan Liang:
Integrability Formulas. Part II. 129-141 - Bo Li, Na Ma:
Integrability Formulas. Part III. 143-157 - Yasushige Watase, Noboru Endou
, Yasunari Shidama
:
On L^p Space Formed by Real-Valued Partial Functions. 159-169 - Artur Kornilowicz
:
Miscellaneous Facts about Open Functions and Continuous Functions. 171-174 - Artur Kornilowicz
:
On the Continuity of Some Functions. 175-183 - Karol Pak
:
The Geometric Interior in Real Linear Spaces. 185-188 - Karol Pak
:
Sperner's Lemma. 189-196 - Cezary Kaliszyk
:
Counting Derangements, Non Bijective Functions and the Birthday Problem. 197-200 - Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
:
Riemann Integral of Functions R into C. 201-206 - Takao Inou'e
, Noboru Endou
, Yasunari Shidama
:
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. 207-212 - Hiroyuki Okazaki
, Yasunari Shidama
:
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables. 213-217

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.