几何自动推理的DM -分解算法是一个基于偶图DM -分解的几何自动推理方法。
The DM-decomposition algorithm is an automated geometric deduction method based on the DM - decomposition of bigraphs.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
应用推荐