近代前期的______阐述了微积分的初步理论，在《垛积比类》中，说明了高阶等差数列的理论。