葉莉是中國古代重要數學成就《天元術》的主要貢獻者。12、13世紀，中國北方終於出現了系統的求解壹元方程的方法，即著名的天象術。“天元”是未知的意思。
“天元”壹詞最早出現在北宋數學家江舟的《易·吉谷》中。此後，的《趙旦》、釋心道的《仲景》、劉的《儒釋道》、的《東園九榕》等著作都不同程度地闡發了“天元術”。但這些方法並不系統，壹般都是討論。
對天文藝術貢獻最大的數學家是葉莉和朱時傑。葉莉的《圓海鏡》、《壹古衍斷》、朱世傑的《算術啟蒙》和思遠遇見都系統地介紹了用天術建立二次方程。
擴展數據
歐洲數學家直到16世紀才完成的東西，13世紀中國已經做出來了。1248年，晉代數學家葉莉在《測圓海鏡》壹書中系統地介紹了天象藝術。
用天元對方程組進行排序的方法是:先“設天元為唐”，即現在設未知X，然後根據問題的條件列出兩個相等的天元公式(即包含這個天元的多項式)，將這兩個天元公式相減得到壹個天元公式，即壹個高次方程。
最後用增乘開的方法求這個方程的正根。很明顯，天球術類似於今天的代數方程的提法，但在歐洲，直到十六世紀才開始做。
在我國，解方程被稱為“秘方”。除了天體術，還有四元術，即求解四元高次方程。這在歐洲直到18世紀才完成，比中國晚了400多年。