2024年8月11日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
杨丽敏
作品数:
2
被引量:0
H指数:0
供职机构:
南开大学
更多>>
相关领域:
理学
更多>>
合作作者
付梅
南开大学
季青
南开大学
陈永川
南开大学
侯庆虎
南开大学
徐召
南开大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
学位论文
1篇
科技成果
领域
2篇
理学
主题
1篇
树上
1篇
数学
1篇
数学机械化
1篇
渐近
1篇
二项式
1篇
赋权
机构
2篇
南开大学
作者
2篇
杨丽敏
1篇
杨立波
1篇
郭强辉
1篇
严慧芳
1篇
谷珊珊
1篇
徐召
1篇
侯庆虎
1篇
陈永川
1篇
季青
1篇
付梅
年份
1篇
2008
1篇
2006
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
数学机械化
陈永川
侯庆虎
杨立波
付梅
谷珊珊
季青
郭强辉
杨丽敏
严慧芳
徐召
项目围绕组合数学的机械化展开,共完成了六个通用程序库,重点实现了机器证明、q-级数、对称函数和组合计数等四个领域的常用函数包。这些程序库包括了机器证明、q-级数、对称函数、排列和路及树、集合论和概率方法等领域中常用的基本...
关键词:
赋权树上的组合及渐近结果
有根树具有非线性结构,在组合数学中占有重要的地位。有序树是一类特殊的有根树,其节点的子树具有序关系。格路与有根树有着紧密的联系,利用格路语言,本文给出了一些等式的组合证明。Chen,Deutsch和Elizalde把有序...
杨丽敏
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张