a prover for parallel numerical verification of a class of constructive geometry theorems.

in contemporary differential geometry, a "surface" , viewed abstractly, is a two-dimensional differentiable manifold.

在现代微分几何中，“曲面”抽象的看来是一个二维微分流形。

互联网摘选

the advent of the theory of relativity forced a drastic change in the attitude toward non-euclidean geometry.

相对论的发现迫使对待非欧几里德几何的态度有激烈的变化。

互联网摘选

this technique assumes that the geometry of normal and suspicious tissues is available from a contrast-enhanced magnetic resonance image.

这种技术假设几何正常和可疑的组织可以从增强磁共振图像。

互联网摘选

main contents: the course of calculus, dollar limits and its application, vector algebra and space analytic geometry.

本课程的主要内容：极限论，一元微积分及其应用，向量代数和空间解析几何。

互联网摘选

relationship between the bending angle and geometry of sheets and technological parameters is discussed.

论证了板料的几何参数和工艺参数与变形的相互关系。

互联网摘选

source must be geometry object. before selecting destination object, collapse it into editable poly.

源物体必须是几何体。在选择目标物体前需要将其转换成可编辑多边形。

互联网摘选

that white cross became an obvious geometry after being magnified 200 times. all of us recognised it at first sight----it was an aircraft.

原来那个十字形的白色影子，放大200倍之后，明显现出了几何的外形，所有人都一眼认了出来——那是一架飞机。

互联网摘选

triangulation is widely used in geology, computational geometry, graphics, images, and many other science and biomedical and other fields.

三角网剖分技术在地质学、计算几何学、图形图像学和生物医学等众多领域得到广泛的应用。

互联网摘选

amazingly they worked without architectural plans or drawings as we understand them today. instead they were guided by the art of geometry.

神奇的是，他们当时既没有诸如我们今天的建筑计划也没有蓝图，而是依据一套几何学的符号和法则来施工。

互联网摘选

all structural engineers, one typically has a specific structural geometry for which the load carrying capacity must be determined.

在所有结构工程师所熟悉的材料力学方法中，问题总是针对一个具有特定几何形状的结构来确定它的承载能力。

互联网摘选

study on the three-dimensional geometry model of brittle fault the brittle fault is one of basic structure in the upper earth.

脆性断层是地壳浅层中广泛发育的一种基本构造型式。

互联网摘选

in geometry calibration, the key problem is to work out the corresponding relation among some spaces.

几何校正技术中，重要的是求取多个空间的对应变化关系。

互联网摘选

we say, 'bully for the boy and his conquest of the geometry teacher, ' but that makes it harder for boys to vocalize their victimization.

我们说‘这个男孩子征服了他的地理老师，干的棒！’这使得男孩子说出他们受到的欺骗更加困难了。

互联网摘选

jaeger spent two years on the project in all, starting with basic geometry animation going from car to robot and then adding in details.

Jaeger一共在这个项目上投入了两年的时光，从最开始的动画几何构图到将车变机器人再到后来一点一点地慢慢丰富细节。

互联网摘选

left ventricle remodeling; geometry configuration; left ventricle ejection fraction; depress blood pressure.

左心室重塑；几何构型；左室射血分数；降血压。

互联网摘选

in 3-d stress space, simplified form of mohr-coulomb equivalent area circle yield criterion is derived by adopting analytic geometry method.

在三维应力空间，采用解析几何的方法，导出了莫尔-库仑等面积圆屈服准则的简化形式。

互联网摘选

collecting geometry characters of roadbed provided methods for realizing accurate collision handling in automobilism simulator.

路面几何特征的信息提取为在汽车驾驶模拟器上实现比较精确的碰撞处理提供了有效的手段。

互联网摘选

three families of authentication codes with arbitration are constructed from unitary geometry, the parameters of the codes are computed.

该文利用有限域上的酉几何构作了三类新的带仲裁的认证码，计算了码的参数；

互联网摘选

use geometry or you need to set up for double integral of a surface.

总之，就是用几何方法或是在曲面上建立二重积分。

互联网摘选

a metric tensor describes a geometry of spacetime. the geodesic paths for a spacetime are calculated from the metric tensor.

该解决方案的场方程的组成部分的度量张量的时空。数据量描述了几何时空。在大地的时空路径计算的数据量。

互联网摘选