Skip to main content
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: ,  ,   and    
Open Access
|Mar 2009
References

References

  1. [1] Czesław Byliński. Partial functions., 1(2):357-367, 1990.
    Search in Google Scholar
  2. [2] Czesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in ε., 6(3):427-440, 1997.
    Search in Google Scholar
  3. [3] Chuanzhang Chen.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., 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., 9(2):281-284, 2001.
    Search in Google Scholar
  6. [6] Krzysztof Hryniewiecki. Basic properties of real numbers., 1(1):35-40, 1990.
    Search in Google Scholar
  7. [7] Jarosław Kotowicz. Convergent sequences and the limit of sequences., 1(2):273-275, 1990.
    Search in Google Scholar
  8. [8] Jarosław Kotowicz. Partial functions from a domain to a domain., 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., 1(4):703-709, 1990.
    Search in Google Scholar
  10. [10] Jarosław Kotowicz. Real sequences and basic operations on them., 1(2):269-272, 1990.
    Search in Google Scholar
  11. [11] Konrad Raczkowski. Integer and rational exponents., 2(1):125-130, 1991.
    Search in Google Scholar
  12. [12] Konrad Raczkowski and Paweł Sadowski. Real function differentiability., 1(4):797-801, 1990.
    Search in Google Scholar
  13. [13] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers., 1(4):777-780, 1990.
    Search in Google Scholar
  14. [14] Yasunari Shidama. The Taylor expansions., 12(2):195-200, 2004.
    Search in Google Scholar
  15. [15] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers., 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., 10(3):163-167, 2002.
    Search in Google Scholar
  17. [17] Zinaida Trybulec. Properties of subsets., 1(1):67-71, 1990.
    Search in Google Scholar
  18. [18] Peng Wang and Bo Li. Several differentiation formulas of special functions. Part V., 15(3):73-79, 2007, doi:10.2478/v10037-007-0009-4.
    Open DOISearch in Google Scholar
  19. [19] Renhong Wang.Higher Education Press, Beijing, 1999.
    Search in Google Scholar
  20. [20] Edmund Woronowicz. Relations defined on sets., 1(1):181-186, 1990.
    Search in Google Scholar
  21. [21] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio., 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
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

© 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)
Previous article
Next article