2024年12月25日
星期三
|
欢迎来到营口市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
几何自动推理
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
张景中
作品数:372
被引量:876
H指数:15
供职机构:中国科学院
研究主题:数学 数学家 数学教学 微积分 超级画板
王丽
作品数:1
被引量:0
H指数:0
供职机构:黑龙江大学
研究主题:几何自动推理 偶图
彭翕成
作品数:245
被引量:397
H指数:10
供职机构:华中师范大学国家数字化学习工程技术研究中心
研究主题:数学 好玩 《超级画板》 超级画板 数学家
曹源昊
作品数:3
被引量:1
H指数:1
供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题:机器证明 微分几何 共形几何代数 几何自动推理 几何代数
孙媛媛
作品数:3
被引量:1
H指数:1
供职机构:电子科技大学
研究主题:程序设计 办公自动化 高校管理 工作流技术 流技术
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张