贾宪的数学机械化思想

贾宪是我国北宋时期杰出的数学家、天文学家,他创立了贾宪三角以及在增乘开方等方面都作出巨大贡献,曾在朝廷里任过左班殿直。同时,他还撰有《黄帝九章算法细草》9卷,《算法古集》2卷,《释锁算书》等书。