“computer proofs of combinatorial identities”的概念、定义、翻译、参考文献-科学参考

　

单词	computer proofs of combinatorial identities
释义	computer proofs of combinatorial identities Encyclopedia 理学组合恒等式的机器证明释 computer proofs of combinatorial identities组合恒等式的机器证明组合恒等式的机器证明是数学机械化的重要组成部分，是组合数学和符号计算的交叉领域。其主要思路是通过证明方程的两边满足相同的递推关系式和初值来证明某个给定的恒等式。 Mathematics ＞组合数学、组合设计与图论＞组合数学＞释义 computer proofs of combinatorial identities组合恒等式机器证明
随便看	wetness wet-oxidationprocess wet pad cooling system of poultry house wet paper codes wet permanent magnetic drum separator wet pipe system wet processing wet-process phosphoric acid wet process production of fish meal wet reaction Wets wet scrubbing wet shotcreting wet spinning wet-stable wet strength wet sulphuric acid wettability wettability of polymer materials wettability phenomenaof rock wettable concentrate wettable powders wet tailings storage Wetthauer bench wet thermo setting

　

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

　

Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号更新时间：2025/11/28 17:10:32