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