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:

Inverse Trigonometric Functions Arctan and Arccot

100%

Liang X. , Xie B.

nr 2

147-158

This article describes definitions of inverse trigonometric functions arctan, arccot and their main properties, as well as several differentiation formulas of arctan and arccot.MML identifier: SIN COS9, version: 7.8.10 4.100.1011

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

80%

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

Second-Order Partial Differentiation of Real Binary Functions

80%

Xie B. , Liang X. , Shen X.

nr 2

79-87

In this article we define second-order partial differentiation of real binary functions and discuss the relation of second-order partial derivatives and partial derivatives defined in [17].

Inverse Trigonometric Functions Arcsec and Arccosec

80%

Xie B. , Liang X. , Ge F.

nr 2

159-165

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