曹士 - 曹士
曹士是唐代民间天文学家。在780—783年间，他撰成符天历，这仅是一种民间小历，似不登大雅之堂，但实际上，却在历法史上占有相当重要的地位。
曹士 - 符天历
符天历选取唐高宗显庆五年（660年）为历元，以这种近距历元取代传统的上元法。所谓上元是一种理想的历元，它要求一系列天文现象同起始于一点，这实际上是不可能的，强求之，就不能不带有牵强附会的因素，而且自上元到实际求算年之间往往相距极其庞大的年份，所以上元法存在既使计算繁杂，又使计算结果失真的弊端。
曹士 - 曹士的改革
曹士的改革，正是针对这种弊病采取的有效措施。又，传统历法的天文数据，一般均以分数表示。对此，曹士选用了万分法，即取分母为一万，这既使各天文数据呈一目了然的形式，又使计算便捷。这两项改革，后为元代授时历所接受。
曹士 - 开辟了历法数值表格及其计算公式化的蹊径
此外，曹士开辟了历法数值表格及其计算公式化的蹊径。符天历对于日躔表及太阳视运动不均匀性改正的计算进行了极重要的改革，建立了太阳实际运行度（V）与平均运行度（M）之间的数学关系式：
式中M为所求日距冬至时刻的天数，亦即度数。该式实质上是刘焯二次差内插法的一种特殊形式，它既具有计算上的简便性，又具有数学上的严密性。它的出现是我国古代历法体系进一步公式化、数学化的重要标志。
曹士 - 影响 意义
这种公式化、数学化的趋势，在边冈的崇玄历（892年）中得到了极大的发展。边冈把曹士上述公式所展示的数学方法，明确归结为“相减相乘”法，并把该法推广应用于黄赤道宿度变换、月亮极黄纬和交食等历法问题的计算中，均建立了相应的算式。不但如此，边冈还首创了计算每日中午日影长度的二个三次函数式，把传统的二十四节气晷影长度表格及其每日晷长的计算公式化了。他还曾定出二个计算太阳视赤纬的算式，(41)系为四次函数式，这就把传统的二十四节气太阳视赤纬表格及每日太阳视赤纬的计算公式化了。它们在天文学和数学上都具有很重要的意义。
