Wu’s method of characteristic set とは

Wenjun Wuの方法は、1970年代後半に中国の数学者Wen-Tsun Wuによって導入された多変量多項式を解くためのアルゴリズムです。この方法はJ.F.Rittによって1940年代後半に導入された特徴的な集合の数学的概念に基づいている。 Gröbner基底を用いて特性集合を計算することができたとしても、Bruno Buchberger(1965)によって導入されたGröbner基底法とは完全に独立している。
Wuの方法は、基本ジオメトリで証明されている機械的定理のために強力であり、特定のクラスの問題に対して完全な決定プロセスを提供します。彼の研究室(KLMM、中国科学アカデミーの数学機械の重要な研究室)および世界中の研究に使用されています。 Wuの方法に関する研究の主な傾向は、Rittの結果が有効になった正の次元と微分代数の多項式方程式のシステムに関する。 Wuの方法は、生物学、コンピュータビジョン、ロボットの運動学、特に幾何学的な自動証明のような様々な科学分野に応用されてきた