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)系問題不能由計(jì)算其相應(yīng)的飽和理想來確定。
As a consequence of the above result, we have that implicative semilattices form an algebraic variety.
作為一個(gè)推論給出：蘊(yùn)涵半格構(gòu)成一個(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ù)中提供了大量的算法。