“计算机辅助证明”的概念、定义、翻译、参考文献-科学参考

单词	计算机辅助证明
释义	计算机辅助证明 Mathematics computer-assisted proof计算机辅助证明
随便看	鸡排英雄鸡新棒恙螨病鸡枞鸡毒支原体鸡毛信鸡油菌属鸡油菌目鸡油菌科鸡泽县鸡消化道线虫病鸡爪槭鸡瘟鸡皮症鸡眼鸡眼草鸡眼豆鸡矢藤鸡精蛋白鸡红细胞鸡绦虫病鸡缸杯鸡网构造鸡肋编鸡胚发育鸡胫骨软骨发育不良

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。