中英▼
go top

Computer-assisted proof

  • 电脑协助证明（电脑协助证明是一种部分或全部内容以电脑协助之数学证明）

网络释义专业释义英英释义

短语

rigorous computer assisted proof 计算机严格辅助证明

  • 计算机辅助证明

·2,447,543篇论文数据，部分数据来源于NoteExpress

Computer-assisted proof

  • abstract: A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定