Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 4 Formalized Mathematics

Autorzy help

  1. 4 Ma N.

  2. 3 Li B.

  3. 2 Liang X.

Lata help

  1. 1 2012

  2. 3 2010

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

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

Integrability Formulas. Part I

100%
Li B., Ma N.
Formalized Mathematics
|
2010
|
tom 18
|
nr 1
27-37
EN
In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, and the polynomial function.
2
Content available remote

Integrability Formulas. Part III

100%
Li B., Ma N.
Formalized Mathematics
|
2010
|
tom 18
|
nr 2
143-157
EN
In this article, we give several differentiation and integrability formulas of composite trigonometric function.
3
Content available remote

Basic Properties of Primitive Root and Order Function

100%
Ma N., Liang X.
Formalized Mathematics
|
2012
|
tom 20
|
nr 4
265-269
EN
In this paper we defined the reduced residue system and proved its fundamental properties. Then we proved the basic properties of the order function. Finally, we defined the primitive root and proved its fundamental properties. Our work is based on [12], [8], and [11].
4
Content available remote

Integrability Formulas. Part II

81%
Li B., Ma N., Liang X.
Formalized Mathematics
|
2010
|
tom 18
|
nr 2
129-141
EN
In this article, we give several differentiation and integrability formulas of special and composite functions including trigonometric function, and polynomial function.
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ć.