1) addive number theory
加法数论
2) additive number theory
加性数论
3) addition count
加法计数
4) real addition
实数加法
1.
In this paper, a quantifier elimination method for positive real theory with order by Volker Weispfenning is extended to a decision procedure, from which a new and finer decision method for eleminentary theory of real addition with order is given.
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 。
5) additive constant
加法常数
补充资料：并加法
分子式：
CAS号：
性质：制造固体催化剂的方法之一，即在沉淀时，原料溶液与沉淀剂各以一定流速同时加到沉淀罐中的方法。溶液维持一定的pH值，操作比较平稳，产品质量比较均匀。控制不同的pH值，则可得到所需要的产品；控制不同的加料速度则可得到不同大小的晶形颗粒。
CAS号：
性质：制造固体催化剂的方法之一，即在沉淀时，原料溶液与沉淀剂各以一定流速同时加到沉淀罐中的方法。溶液维持一定的pH值，操作比较平稳，产品质量比较均匀。控制不同的pH值，则可得到所需要的产品；控制不同的加料速度则可得到不同大小的晶形颗粒。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条