algebraic variety

常见例句

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