Basic Properties of Primitive Root and Order Function.
Formaliz. Math., 2012
Some Basic Properties of Some Special Matrices. Part III.
Formaliz. Math., 2012
Difference and Difference Quotient. Part IV.
Formaliz. Math., 2011
Some Properties of <i>p</i>-Groups and Commutative <i>p</i>-Groups.
Formaliz. Math., 2011
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces.
Formaliz. Math., 2010
Difference and Difference Quotient. Part III.
Formaliz. Math., 2010
Integrability Formulas. Part II.
Formaliz. Math., 2010
Partial Differentiation of Real Ternary Functions.
Formaliz. Math., 2010
Second-Order Partial Differentiation of Real Binary Functions.
Formaliz. Math., 2009
On Rough Subgroup of a Group.
Formaliz. Math., 2009
Several Integrability Formulas of Special Functions. Part II.
Formaliz. Math., 2009
Some Operations on Quaternion Numbers.
Formaliz. Math., 2009
Basic Properties of Periodic Functions.
Formaliz. Math., 2009
Several Higher Differentiation Formulas of Special Functions.
Formaliz. Math., 2008
Basic Properties of Circulant Matrices and Anti-Circular Matrices.
Formaliz. Math., 2008
Gauss Lemma and Law of Quadratic Reciprocity.
Formaliz. Math., 2008
Partial Differentiation of Real Binary Functions.
Formaliz. Math., 2008
Inverse Trigonometric Functions Arcsec and Arccosec.
Formaliz. Math., 2008
BCI-algebras with Condition (S) and their Properties.
Formaliz. Math., 2008
General Theory of Quasi-Commutative BCI-algebras.
Formaliz. Math., 2008
Inverse Trigonometric Functions Arctan and Arccot.
Formaliz. Math., 2008
Difference and Difference Quotient. Part II.
Formaliz. Math., 2008