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: 16

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

Several Differentiation Formulas of Special Functions. Part VI

100%
Li B., Wang P.
Formalized Mathematics
|
2007
|
tom 15
|
nr 4
243-250
EN
In this article, we prove a series of differentiation identities [3] involving the secant and cosecant functions and specific combinations of special functions including trigonometric, exponential and logarithmic functions.
3
Content available remote

Generators for algebras dense in $L^{p}$-spaces

100%
Izzo A., Li B.
Studia Mathematica
|
2013
|
tom 217
|
nr 3
243-263
EN
For various $L^{p}$-spaces (1 ≤ p < ∞) we investigate the minimum number of complex-valued functions needed to generate an algebra dense in the space. The results depend crucially on the regularity imposed on the generators. For μ a positive regular Borel measure on a compact metric space there always exists a single bounded measurable function that generates an algebra dense in $L^{p}(μ)$. For M a Riemannian manifold-with-boundary of finite volume there always exists a single continuous function that generates an algebra dense in $L^{p}(M)$. These results are in sharp contrast to the situation when the generators are required to be smooth. For smooth generators we prove a result similar to a known fact about algebras uniformly dense in continuous functions: for M a smooth manifold-with-boundary of dimension n, at least n smooth functions are required in order to generate an algebra dense in $L^{p}(M)$. We also show that on every smooth manifold-with-boundary there exists a bounded continuous real-valued function that is one-to-one on the complement of a set of measure zero.
4
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.
5
Content available remote

Several Differentiation Formulas of Special Functions. Part IV

100%
Li B., Wang P.
Formalized Mathematics
|
2006
|
tom 14
|
nr 3
109-114
EN
In this article, we give several differentiation formulas of special and composite functions including trigonometric function, polynomial function and logarithmic function.
6
Content available remote

Several Differentiation Formulas of Special Functions. Part V

100%
Wang P., Li B.
Formalized Mathematics
|
2007
|
tom 15
|
nr 3
73-79
EN
In this article, we give several differentiation formulas of special and composite functions including trigonometric, polynomial and logarithmic functions.
7
Content available remote

Basic Properties of Even and Odd Functions

100%
Li B., Men Y.
Formalized Mathematics
|
2009
|
tom 17
|
nr 2
187-192
EN
In this article we present definitions, basic properties and some examples of even and odd functions [6].
8
Content available remote

Some Operations on Quaternion Numbers

81%
Li B., Liang X., Wang P., Zhuang Y.
Formalized Mathematics
|
2009
|
tom 17
|
nr 2
61-65
EN
In this article, we give some equality and basic theorems about quaternion numbers, and some special operations.
9
Content available remote

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

81%
Li B., Zhuang Y., Xie B., Wang P.
Formalized Mathematics
|
2009
|
tom 17
|
nr 1
11-21
EN
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
10
Content available remote

Several Integrability Formulas of Special Functions. Part II

81%
Li B., Zhuang Y., Men Y., Liang X.
Formalized Mathematics
|
2009
|
tom 17
|
nr 1
23-35
EN
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
11
Content available remote

Simple Continued Fractions and Their Convergents

81%
Li B., Zhang Y., Korniłowicz A.
Formalized Mathematics
|
2006
|
tom 14
|
nr 3
71-78
EN
The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is shown. We also give definitions of convergents of continued fractions, and several important properties of simple continued fractions and their convergents.
12
Content available remote

Several Differentiation Formulas of Special Functions. Part III

81%
Li B., Zhang Y., Liang X.
Formalized Mathematics
|
2006
|
tom 14
|
nr 1
37-45
EN
In this article, we give several differentiation formulas of special and composite functions including trigonometric function, inverse trigonometric function, polynomial function and logarithmic function.
13
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.
14
Content available remote

Difference and Difference Quotient

81%
Li B., Zhang Y., Liang X.
Formalized Mathematics
|
2006
|
tom 14
|
nr 3
115-119
EN
In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.
15
Content available remote

Difference and Difference Quotient. Part II

81%
Li B., Zhuang Y., Liang X.
Formalized Mathematics
|
2008
|
tom 16
|
nr 1
45-49
EN
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
16
Content available remote

Basic Properties of Periodic Functions

81%
Li B., Li D., Men Y., Liang X.
Formalized Mathematics
|
2009
|
tom 17
|
nr 4
245-248
EN
In this article we present definitions, basic properties and some examples of periodic functions according to [5].
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ć.