对于形式幂级数Ａ（ｔ）施行ｍ重分割法得出形式级数Ｂ１（ｔ），Ｂ２（ｔ），…，Ｂｍ（ｔ）称为抽象双曲函数。本文主要探讨Ａ（ｔ）与Ｂ１（ｔ），Ｂ２（ｔ），…，Ｂｍ（ｔ）之间的表达式、行列性质及其应用（如Ｗａｒｉｎｇ公式的推广等）。......