n阶仿射平面相关论文
定理机器验证是自动推理领域内的一个重要研究课题，其研究方法和研究成果具有十分显著的理论意义与应用价值。目前研究者们已成功验......
分组测试的NGT算法在许多领域有着广泛的应用,它的数学模型是d-disjunct矩阵.近年来,人们借助于复形理论、图理论、空间理论和容错......
