BriefGPT.xyz
Ask
alpha
关键词
automated reasoning program
搜索结果 - 1
几何中自动定理生成 / 发现的方法和度量考虑
为了发现并判断几何定理的有趣性,本文针对自动发现几何定理和其性质的不同方法和度量进行讨论,并引入了一个不可判定性结果来证明判断定理生成程序是否能产生有趣定理是一个非确定性任务。此外,还强调了需要通过专家调查和相关度量和方法的研究明确定理生成
→
PDF
5 months ago
Prev
Next