Formalized Mathematics    ISSN 1898-9934 (e), ISSN 1426-2630 (p)

Volume 18, Number 2 (2010): PDF

A copy of this issue can also be found on the MetaPress server (with DOI names of articles).

1. Keiichi Miyajima, Takahiro Kato. The Sum and Product of Finite Sequences of Complex Numbers, Formalized Mathematics 18(2), pages 107-111, 2010. MML Identifier: RVSUM_2
   Summary: This article extends the \cite{RVSUM_1.ABS}. We define the sum and the product of the sequence of complex numbers, and formalize these theorems. Our method refers to the \cite{Keith:1984}.

   ---

2. Takao Inou\'e. Second-Order Partial Differentiation of Real Ternary Functions, Formalized Mathematics 18(2), pages 113-127, 2010. MML Identifier: PDIFF_5
   Summary: In this article, we shall extend the result of \cite{PDIFF_3.ABS} to discuss second-order partial differentiation of real ternary functions (refer to \cite{PDIFF_1.ABS} and \cite{Rudin:1976} for partial differentiation).

   ---

3. Bo Li, Na Ma, Xiquan Liang. Integrability Formulas. {P}art {II}, Formalized Mathematics 18(2), pages 129-141, 2010. MML Identifier: INTEGR13
   Summary: In this article, we give several differentiation and integrability formulas of special and composite functions including trigonometric function, and polynomial function.

   ---

4. Bo Li, Na Ma. Integrability Formulas. {P}art {III}, Formalized Mathematics 18(2), pages 143-157, 2010. MML Identifier: INTEGR14
   Summary: In this article, we give several differentiation and integrability formulas of composite trigonometric function.

   ---