http://hdl.handle.net/11320/3332 2026-09-26T12:18:40Z 2026-09-26T12:18:40Z Sakurai, Hideki Kunimune, Hisayoshi Shidama, Yasunari http://hdl.handle.net/11320/21097 2026-09-23T09:19:12Z 2008-01-01T00:00:00Z

Tytuł: Open Mapping Theorem Autorzy: Sakurai, Hideki; Kunimune, Hisayoshi; Shidama, Yasunari Abstrakt: In this article we formalize one of the most important the orems of linear operator theory the Open Mapping Theorem commonly used in a standard book such as [8] in chapter 2.4.2. It states that a surjective continuous linear operator between Banach spaces is an open map.

2008-01-01T00:00:00Z Ge, Fuguo Xie, Bing http://hdl.handle.net/11320/21093 2026-09-23T08:18:58Z 2008-01-01T00:00:00Z

Tytuł: Several Differentiation Formulas of Special Functions. Part VII Autorzy: Ge, Fuguo; Xie, Bing Abstrakt: In this article, we prove a series of differentiation identities [2] involving the arctan and arccot functions and specific combinations of special functions including trigonometric and exponential functions.

2008-01-01T00:00:00Z Wasaki, Katsumi http://hdl.handle.net/11320/21092 2026-09-23T07:54:56Z 2008-01-01T00:00:00Z

Tytuł: Stability of the 4-2 Binary Addition Circuit Cells. Part I Autorzy: Wasaki, Katsumi Abstrakt: To evaluate our formal verification method on a real-size calculation circuit, in this article, we continue to formalize the concept of the 4-2 Binary Addition Cell primitives (FTAs) to define the structures of calculation units for a very fast multiplication algorithm for VLSI implementation [11]. We define the circuit structure of four-types FTAs, TYPE-0 to TYPE-3, using the series constructions of the Generalized Full Adder Circuits (GFAs) that generalized adder to have for each positive and negative weights to inputs and outputs [15]. We then successfully prove its circuit stability of the calculation outputs after four-steps. The motivation for this research is to establish a technique based on formalized mathematics and its applications for calculation circuits with high reliability.

2008-01-01T00:00:00Z Ding, Yuzhong Ge, Fuguo Wu, Chenglong http://hdl.handle.net/11320/21090 2026-09-22T12:11:30Z 2008-01-01T00:00:00Z

Tytuł: BCI-homomorphisms Autorzy: Ding, Yuzhong; Ge, Fuguo; Wu, Chenglong Abstrakt: In this article the notion of the power of an element of BCI algebra and its period in the book [11], sections 1.4 to 1.5 are firstly given. Then the definition of BCI-homomorphism is defined and the fundamental theorem of homomorphism, the first isomorphism theorem and the second isomorphism theorem are proved following the book [9], section 1.6.

2008-01-01T00:00:00Z