Have a personal or library account? Click to login
Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions Cover

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

Formalized Mathematics
Volume 17 (2009): Issue 1 (March 2009)
By: Bo Li,  Yanping Zhuang,  Bing Xie and  Pan Wang  
Open Access
|Mar 2009

References

  1. [1] Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
    Search in Google Scholar
  2. [2] Czesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in ε2. Formalized Mathematics, 6(3):427-440, 1997.
    Search in Google Scholar
  3. [3] Chuanzhang Chen. Mathematical Analysis. Higher Education Press, Beijing, 1978.
    Search in Google Scholar
  4. [4] Noboru Endou and Artur Korniłowicz. The definition of the Riemann definite integral and some related lemmas. Formalized Mathematics, 8(1):93-102, 1999.
    Search in Google Scholar
  5. [5] Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281-284, 2001.
    Search in Google Scholar
  6. [6] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
    Search in Google Scholar
  7. [7] Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.
    Search in Google Scholar
  8. [8] Jarosław Kotowicz. Partial functions from a domain to a domain. Formalized Mathematics, 1(4):697-702, 1990.
    Search in Google Scholar
  9. [9] Jarosław Kotowicz. Partial functions from a domain to the set of real numbers. Formalized Mathematics, 1(4):703-709, 1990.
    Search in Google Scholar
  10. [10] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.
    Search in Google Scholar
  11. [11] Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991.
    Search in Google Scholar
  12. [12] Konrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.
    Search in Google Scholar
  13. [13] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.
    Search in Google Scholar
  14. [14] Yasunari Shidama. The Taylor expansions. Formalized Mathematics, 12(2):195-200, 2004.
    Search in Google Scholar
  15. [15] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.
    Search in Google Scholar
  16. [16] Andrzej Trybulec and Yatsuka Nakamura. On the decomposition of a simple closed curve into two arcs. Formalized Mathematics, 10(3):163-167, 2002.
    Search in Google Scholar
  17. [17] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  18. [18] Peng Wang and Bo Li. Several differentiation formulas of special functions. Part V. Formalized Mathematics, 15(3):73-79, 2007, doi:10.2478/v10037-007-0009-4.10.2478/v10037-007-0009-4
    Search in Google Scholar
  19. [19] Renhong Wang. Numerical approximation. Higher Education Press, Beijing, 1999.
    Search in Google Scholar
  20. [20] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
    Search in Google Scholar
  21. [21] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-009-0002-1 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 11 - 21
Published on: Mar 20, 2009
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2009 Bo Li, Yanping Zhuang, Bing Xie, Pan Wang, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 17 (2009): Issue 1 (March 2009)