请输入您要查询的字词:
单词
组合恒等式的机器证明
释义
组合恒等式的机器证明
Encyclopedia
理学
组合恒等式的机器证明
释
computer proofs of combinatorial identities
组合恒等式的机器证明
组合恒等式的机器证明是数学机械化的重要组成部分,是组合数学和符号计算的交叉领域。其主要思路是通过证明方程的两边满足相同的递推关系式和初值来证明某个给定的恒等式。
随便看
何育杰
何胤
何良俊
何良俊家班
何良傅
何苏六
何英
何草不黄
何藻翔
何西来
何西阿书
何贤
何迟
何逊
何金海
何铁华
何键
何镇邦
何长工
何陋轩
何震
何震彝
何震治印
何露斯神庙
何非光
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/7/1 2:43:24