Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Inner Products, Group, Ring of Quaternion Numbers

100%
Ge F.
Formalized Mathematics
|
2008
|
tom 16
|
nr 2
135-139
EN
In this article, we define the division of the quaternion numbers, we also give the definition of inner products, group, ring of the quaternion numbers, and we prove some of their properties.MML identifier: QUATERN2, version: 7.8.10 4.100.1011
2
Content available remote

Several Differentiation Formulas of Special Functions. Part VII

64%
Ge F., Xie B.
Formalized Mathematics
|
2008
|
tom 16
|
nr 4
389-399
EN
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.MML identifier: FDIFF 11, version: 7.10.01 4.111.1036
3
Content available remote

The Quaternion Numbers

64%
Liang X., Ge F.
Formalized Mathematics
|
2006
|
tom 14
|
nr 4
161-169
EN
In this article, we define the set H of quaternion numbers as the set of all ordered sequences q = where x,y,w and z are real numbers. The addition, difference and multiplication of the quaternion numbers are also defined. We define the real and imaginary parts of q and denote this by x = ℜ(q), y = ℑ1(q), w = ℑ2(q), z = ℑ3(q). We define the addition, difference, multiplication again and denote this operation by real and three imaginary parts. We define the conjugate of q denoted by q*' and the absolute value of q denoted by |q|. We also give some properties of quaternion numbers.
4
Content available remote

Several Integrability Formulas of Special Functions

51%
Peng C., Ge F., Liang X.
Formalized Mathematics
|
2007
|
tom 15
|
nr 4
189-198
EN
In this article, we give several integrability formulas of special and composite functions including trigonometric function, inverse trigonometric function, hyperbolic function and logarithmic function.
5
Content available remote

BCI-homomorphisms

51%
Ding Y., Ge F., Wu C.
Formalized Mathematics
|
2008
|
tom 16
|
nr 4
371-376
EN
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.MML identifier: BCIALG 6, version: 7.9.03 4.108.1028
6
Content available remote

Some Special Matrices of Real Elements and Their Properties

51%
Liang X., Ge F., Yue X.
Formalized Mathematics
|
2006
|
tom 14
|
nr 4
129-134
EN
This article describes definitions of positive matrix, negative matrix, nonpositive matrix, nonnegative matrix, nonzero matrix, module matrix of real elements and their main properties, and we also give the basic inequalities in matrices of real elements.
7
Content available remote

Inverse Trigonometric Functions Arcsec and Arccosec

51%
Xie B., Liang X., Ge F.
Formalized Mathematics
|
2008
|
tom 16
|
nr 2
159-165
EN
This article describes definitions of inverse trigonometric functions arcsec and arccosec, as well as their main properties.MML identifier: SINCOS10, version: 7.8.10 4.100.1011
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.