zero chou 中文意思是什麼
zero chou
解釋
周美玲-
14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems
本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用,進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
分享友人