<div> 斯蒂芬是16-17世纪欧洲高产的科学家兼工程师，他在等程律方面的工作充分体现了其在多学科共同影响下取得的最高成就。本文结合西方数学史、律学史及斯蒂芬相关原始文献研究对其等程律数理计算过程进行了复原研究。斯蒂芬创立等程律的数理过程体现了西方运用公理化方法解决等程律数值计算的首创途径。</div> <div> &nbsp;</div>

<p>摘要：朱载堉在1596年出版的《律历融通》岁余篇中介绍了古今岁实消长现象以及历法家损益岁余的方法。通过对原始文献的解读,剖析朱载堉通过间接证明方法检验《授时历》岁余损益值,进而修正《授时历》岁余损益幅度,提高冬至时刻计算精度的过程。朱载堉运用实证方法检验历算成果,体现出敢于质疑、善于推理的历算精神和反证分析的思想。</p><p>关键词：朱载堉;《律历融通》;《授时历》;岁余</p><p><br/></p>