数学机械化中函数应用在MATALAB中如何运算，

介绍与特征列方法相关的算法，包括吴零点分解定理（代数情形和微分情形）以及投影定理的实现等。-Mathematical mechanization of functions used in computing MATALAB how to introduce the methods associated with the characteristic set of algorithms, including Miss zero decomposition theorem (algebraic and differential case scenario) as well as the realization of such projection theorem.