圆海镜》、《益古演段》中，系统地介绍了用天元术建立二次方程。金廷学习北宋建立司天监以观测天文，当时的数学也十分发达，使得金朝士人热中编写历书。金廷于1137年颁布杨级编写的《大明历》（与祖沖之的《大明历》不同）。而后赵知微于1180年修编成较精确的《重修大明历》，其精确度超过宋朝优越的历法《纪元历》。同时间耶律履也编出《乙未历》，然而精确度不如《重修大明历》。