Algebra, Sub-sub-category: Recursive and Explicit formulas