阐述了一个基于胞腔分解的不等式证明算法。

An automated inequality proving algorithm is presented based on a mixed method including a so called cell decomposition.

youdao

基于平面欧几里得图和抽象胞腔复形理论，提出了街道网矢量数据的渐进式表达模型。

A progressive representation model for street networks of vector data was presented based on the theory of plane Euclidean graph and abstract complex cell.

youdao

和传统的MC方法相比，联接胞腔算法节省了大量的CPU运算时间，大大地提高了模拟效率。

Compared with the traditional MC, the, linked cell algorithm saves a lot of CPU time, and greatly improves the simulation efficiency.

youdao