| 释义 |
Ritt ˈrɪt COCA¹⁵⁹⁹⁸⁹BNC¹²⁶⁴¹⁶⁺⁴
基本例句
n.里特; 丽特
In chapter2, the Wu- Ritt's decomposition method is used to decompose the equations the P3P problem at first and some character-sets are obtained.
本文第二章首先用吴消元法对 P3P问题的多元多项式方程组进行了零点分解，从而得到了 P3P方程组的特征列。 cnki
We also apply Wu- Ritt differential characteristic set to differential geometry to prove some theorems mechanically.
把它应用于微分几何，得到微分几何中部分定理的机械化证明。 cnki |