“computer-assisted proof”的概念、定义、翻译、参考文献-科学参考

单词	computer-assisted proof
释义	computer-assisted proof Mathematics computer-assisted proof计算机辅助证明
随便看	Pochhammer equation Pochhammer symbol Pochhammer wave Pockels cell Pockels cell modulator Pockels effect pocket pocket book pocketbook plant pocket camera pocket damper seal pocket dictionary pocket digital camera pocket edition pocket registered permanent residence pocket sextant pocket structure pocket theorem pockmark Pocock-Simon procedure Pocock-Simon设计 POCT Poczobutt crater POD pod

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