1) geometrical equivalent
几何等价性
2) Elementary Geometry
初等几何
1.
Achievement of Bidirectional Organum in Automatic Solution of Elementary Geometry;
双向推理系统在初等几何自动解题中的实现
2.
On the interaction between higher geometry and elementary geometry;
高等几何与初等几何的相融性
3.
On selecting material and teaching of elementary geometrycourse in teachers′ college;
谈高师初等几何研究课的选材与教学
3) higher geometry
高等几何
1.
On the interaction between higher geometry and elementary geometry;
高等几何与初等几何的相融性
2.
An Example of Solving Analytic Geometry Problem With Higher Geometry Methods;
用《高等几何》方法解决《解析几何》问题一例
4) geometric equivalence
几何等效
5) Stability of geometric inequalities
几何不等式的稳定性
6) stability properties of geometric inequalities
几何不等式稳定性
补充资料：等价性
等价性
equivalence
aengljaxing等价性(叹uivaience的相同性。就程序而言相同主要指功能相同。 今)两个对象某个特定侧面，这个侧面就是语义。语义两个程序功能等价是指它们对同样的输人给出同样的输出。 在程序转换过程中，我们逐步将易读、高抽象级的程序向高效的、基于具体虚拟机的程序转换。为了保证正确性，我们要求转换前的程序和转换后的程序在功能上等价。因此这种转换关系应当是一个等价关系=，即应满足: 自反性:对任意的x，x=x; 对称性:如果x二y，则y二x; 传递性:如果x=y，y=z则x=z。自反性对程序转换而言总是满足的;对称性使得转换可逆转，亦即，保证转换过程中不损失有关功能的信息;传递性保证可对程序进行多次转换;为了使得可对程序进行局部转换而保持整个程序的功能不变，我们还要求程序转换满足等价替换，即: 可替性:如果x=y，则p二P〔y/x〕这里P〔y/x」表示将P中x的若干(指定的)出现换成y。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条