Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

4 Formalized Mathematics

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Several Integrability Formulas of Special Functions. Part II

100%

Li B. , Zhuang Y. , Men Y. , Liang X.

nr 1

23-35

In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, the hyperbolic function and the polynomial function [3].MML identifier: INTEGR11, version: 7.11.01 4.117.1046

Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions

100%

Li B. , Zhuang Y. , Xie B. , Wang P.

nr 1

11-21

In this article, we give several integrability formulas of some functions including the trigonometric function and the index function [3]. We also give the definitions of the orthogonal polynomial and norm function, and some of their important properties [19].MML identifier: INTEGRA9, version: 7.11.01 4.117.1046

Some Operations on Quaternion Numbers

100%

Li B. , Liang X. , Wang P. , Zhuang Y.

nr 2

61-65

In this article, we give some equality and basic theorems about quaternion numbers, and some special operations.

Difference and Difference Quotient. Part II

100%

Li B. , Zhuang Y. , Liang X.

nr 1

45-49

In this article, we give some important properties of forward difference, backward difference, central difference and difference quotient and forward difference, backward difference, central difference and difference quotient formulas of some special functions [11].MML identifier: DIFF 2, version: 7.8.09 4.97.1001