Mathematics in Computer Science. 2016;10(1):5-25. doi: 10.1007/s11786-016-0246-4 Q31.02025

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

动态几何证明中真理不可避免的不确定性

DOI: 10.1007/s11786-016-0246-4

摘要

Copyright © Mathematics in Computer Science. 中文内容为AI机器翻译，仅供参考！