郭守敬将数学应用于日历的构建。他是中国最早从事球三角学研究的数学家之一。郭台铭为他的天文计算得出了三次插值公式。他的日历“授时暦”或“固定季节的日历”在1281年作为元朝的官方日历散发。日历可能仅受宋代天文学家沉国的影响，也可能受阿拉伯天文学家的影响。寿历没有明显的穆斯林影响迹象，但众所周知蒙古统治者对穆斯林历感兴趣。蒙古人将来自中东的数学知识引入蒙古，而穆斯林天文学家在13世纪将阿拉伯数字带入中国。
郭台铭数学的中文名字是什么？