几何定理并行验证算法研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

潘斌;郭红霞

Research on Parallel Algorithm of Numerical Verification
for Geometry Theorem Proving

PAN Bin; GUO Hongxia

计算机工程 . 2007, (01): 16 -18 . DOI: 10.3969/j.issn.1000-3428.2007.01.006