请输入您要查询的字词：
单词
computer proofs of combinatorial identities
释义
computer proofs of combinatorial identities
Encyclopedia
理学
组合恒等式的机器证明
释
computer proofs of combinatorial identities
组合恒等式的机器证明
组合恒等式的机器证明是数学机械化的重要组成部分，是组合数学和符号计算的交叉领域。其主要思路是通过证明方程的两边满足相同的递推关系式和初值来证明某个给定的恒等式。
Mathematics
＞组合数学、组合设计与图论＞组合数学＞释义
computer proofs of combinatorial identities
组合恒等式机器证明
随便看
cross-serial dependencies
Cross share holdings structures
cross-site request forgery
cross site script attack
cross-site script attack
cross spectral density
cross-spectral density
cross-spectral function
cross-spectral purity
cross spectrum
cross-spectrum
cross-spectrum analyzer
cross-staff
cross sterility
Cross-stick at back of chariot
cross-stitch curve
cross-stitch embroidery of Qiang nationality
Cross Strait
Cross-Strait Academic Conference on Archives and Micrographics
Cross-strait Commonly Used Dictionary
Cross-Strait Exhibition and Academic Conference of Minor Operas
Cross-Strait Sea Transport Agreement
cross-stream instability
cross-sum
cross surface
科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间：2026/4/15 16:11:58