Basic Properties of Periodic Functions
Bo Li ; Dailu Li ; Yanhong Men ; Xiquan Liang
Formalized Mathematics, Tome 17 (2009), p. 245-248 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

In this article we present definitions, basic properties and some examples of periodic functions according to [5].

Publié le : 2009-01-01
EUDML-ID : urn:eudml:doc:267283 
@article{bwmeta1.element.doi-10_2478_v10037-009-0031-9,
     author = {Bo Li and Dailu Li and Yanhong Men and Xiquan Liang},
     title = {Basic Properties of Periodic Functions},
     journal = {Formalized Mathematics},
     volume = {17},
     year = {2009},
     pages = {245-248},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_2478_v10037-009-0031-9}
}

Bo Li; Dailu Li; Yanhong Men; Xiquan Liang. Basic Properties of Periodic Functions. Formalized Mathematics, Tome 17 (2009) pp. 245-248. http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_2478_v10037-009-0031-9/

[1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990. | Zbl 06213858

[2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.

[3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.

[4] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.

[5] Chuanzhang Chen. Mathematical Analysis. Higher Education Press, Beijing, 1978.

[6] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.

[7] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329-334, 1990.

[8] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.

[9] 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.[Crossref]

[10] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.

[11] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998.