常見例句

雙語例句

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ù)簇的包含關系問題不能由計算其相應的飽和理想來確定。
As a consequence of the above result, we have that implicative semilattices form an algebraic variety.
作為一個推論給出：蘊涵半格構成一個代[代數(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ù)幾何和奇點理論，SINGULAR 計算機代數(shù)系統(tǒng)在軟件包內(nèi)核以及共享庫中提供了大量的算法。