“组合恒等式的机器证明”的概念、定义、翻译、参考文献-科学参考

单词	组合恒等式的机器证明
释义	组合恒等式的机器证明 Encyclopedia 理学组合恒等式的机器证明释 computer proofs of combinatorial identities组合恒等式的机器证明组合恒等式的机器证明是数学机械化的重要组成部分，是组合数学和符号计算的交叉领域。其主要思路是通过证明方程的两边满足相同的递推关系式和初值来证明某个给定的恒等式。
随便看	若尔当同态若尔当块若尔当基若尔当外容度若尔当外测度若尔当多边形若尔当容度若尔当对若尔当对称群定理若尔当-布劳威尔分离定理若尔当引理若尔当弧若尔当形式若尔当形矩阵若尔当恒等式若尔当-戴德金性质若尔当-戴德金格若尔当-戴德金空间若尔当-戴德金链条件若尔当-扎森豪斯定理若尔当曲线若尔当曲线定理若尔当模若尔当正规形式若尔当测度

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