The DM-decomposition algorithm is an automated geometric deduction method based on the DM - decomposition of bigraphs.
几何自动推理的DM -分解算法是一个基于偶图DM -分解的几何自动推理方法。
2
This paper presents all the connected simple bigraphs whose energy does not exceed 4, and an inequality about the energy of a graph and the number of the edges of the graph.