1)  Topology
代数集
2)  semi-algebraic set
半代数集
1.
In this paper, a computing principle about the cardinality of semi-algebraic set is given by using Tarski s Principle.
给出半代数集基数的计数原理和不可约紧代数流形上Ｅｕｌｅｒ示性数及亏格的算法。
3)  algebraic set germ
代数集芽
4)  piecewise algebraic sets
分片代数集合
1.
In this paper , we define the piecewise algebraic sets by using multivariatespline functions and discuss their irreducibility and isomorphism problem.
本文利用多元样条函数来定义分片代数集合,讨论了分片代数集合的不可约性和同构问题,给出了分片代数集合不可约的两个等价条件,并把分片代数集合的同构分类问题转化为交换代数的同构分类问题。
5)  algebras
代数
1.
Based on a systematic research on fuzzy logic and fuzzy reasoning, a new kind of algebraic systems-R 0 algebras have been established recently, providing a new algebraic basis for fuzzy logic.
基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。
6)  algebra
代数
1.
The uniqueness of the decomposition of an algebra with trivial annihilator;
具有平凡零化子的代数分解的唯一性
参考词条
补充资料：半代数集


半代数集
semi-algebraic set

　　半代数集[胭111一吻由面cset;no二y幼re6p皿叨e幼eM”。-袱ecT即!，半解析集(~~a侧ytjcset)篡篡黔篡髻麟鬃默黯袅纂的集合更精确地说，对g任R[X:，…，X，]，设U(g)={x‘R”二g(x)>0}，则E是半代数的，如果它属于包含所有的U(g)的R”的子集的最小B以〕k’ 环. 作为定义，半解析集(s翻.an川ytlc set)是实解析流形的一个集合，它局部地能用有限多个解析等式和不等式来描述. Tarski一Seidenberg定理(Tarski一seidenbulg theo-reln)断言一个判定过程(decision procedure)(亦见可判定集(deC油ble set))的存在性以判定由有限多个多项式不等式g:(x、，二，尤。)>o、联结词“与”、“或’和“非”以及量词日Xj，丫X*所构成的初等语句的真伪.两个精确的表述是:l)设E CR”是半代数集，二R”一‘R”一’是到最后n一1个坐标上的投影，则兀(E)是半代数的.2)设S(x，，…，x。;t!，…，t，)是由不等式尸:(x、，…，义。;tl，二，t。)>O以及联结词“与”、“或”和“非”构成的有限语句(这样的语句称为一个多项式关系(po加lomialr山·山。).设Q，，·“，Q.是一系列形如日x，或丫x*的量词，则存在一个算法以发现多项式关系T(t;，…，t。，)，使得 T(tl，二，t。)夺=)Ql…Q。S(x.，‘’‘，x。; t，，“·，t，，).从Tarski一seidenberg定理可以得出，半代数集在多项式映射R”一R门下的象是半代数的.事实上这是一个等价， 半解析集在解析映射下的象不必是半解析的.实解析流形上的次解析集(subanalytieset)定义为一个集合，它局部是半解析集在解析映射下的象.次解析集的不是半解析的点构成一个次解析集，见〔A2]. 半代数(相应地，半解析或次解析)集的闭包仍是半代数(相应地，半解析或次解析)的. 半代数(相应地，次解析)集在代数(相应地，解析)映射下的象是半代数(相应地，次解析)集. 最后，一个光滑代数(相应地，解析或解析)簇的半代数(相应地，半解析或次解析)子集容许有一个光滑的分层(stratificatlon)，它的层是半代数(相应地，半解析或次解析)的(并且光滑).
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。