常見例句雙語例句In this paper by applying some equivalent formulas in first-order logic, this problem is transformed into one which checks whether another quasi-algebraic variety is empty.判定擬代數(shù)簇的包含關(guān)系問題不能由計(jì)算其相應(yīng)的飽和理想來確定。As a consequence of the above result, we have that implicative semilattices form an algebraic variety.作為一個推論給出：蘊(yùn)涵半格構(gòu)成一個代[代數(shù)]簇。For commutative algebra, algebraic geometry, and singularity theory, the SINGULAR computer algebra system provides a large variety of algorithms in the package kernel as well as shared libraries.對于交換代數(shù)、代數(shù)幾何和奇點(diǎn)理論，SINGULAR 計(jì)算機(jī)代數(shù)系統(tǒng)在軟件包內(nèi)核以及共享庫中提供了大量的算法。 返回 algebraic variety