Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Integrability Formulas. Part I

Bo LiNa Ma — 2010

Formalized Mathematics

In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, and the polynomial function.

Basic Properties of Primitive Root and Order Function

Na MaXiquan Liang — 2012

Formalized Mathematics

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].

Page 1

Download Results (CSV)