首页成果登记
注册 找回密码
国家科技成果网
  		•
热门搜索：  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

登记 排行 政策 对接 转化 专栏
国家科技成果网 › 首页 ›成果 › 查看内容

q-级数与机器证明

2007年 应用技术
  • 成果简介
　　本项目主要研究涉及q-级数的恒等式的证明方法，并研究这些方法的机械化实现。q-级数是数学中的一个重要研究对象，在分拆理论、数论、向量空间以及数学物理中具有广泛的应用。关于q-级数的一个核心问题是众多恒等式的证明，目前有代数方法、数论方法、分析方法、组合方法等等。我们将系统的研究代数方法，同时引入对称函数理论这一新的工具，发现和证明一系列涉及q-级数的恒等式。本项目将结合对q-等式证明方法的研究...
相关成果

标签云

相关机构

关于国科网   我们的资源   我们的服务   免责声明   常见问题    软件下载    成果登记   联系我们  
Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位：科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统