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 计算机代数系统在软件包内核以及共享库中提供了大量的算法。