|国家科技期刊平台
| 注册
首页|期刊导航|四川大学学报：自然科学版|几何不等式的自动发现与机器证明

几何不等式的自动发现与机器证明

夏壁灿

四川大学学报：自然科学版1998，Vol.35Issue(5)：669-672,4.
✕
四川大学学报：自然科学版1998，Vol.35Issue(5)：669-672,4.

几何不等式的自动发现与机器证明

夏壁灿1

作者信息

  • 折叠

摘要

关键词

几何不等式/EXPLORER/代数方程组/机器证明

分类

数理科学

引用本文复制引用

夏壁灿..几何不等式的自动发现与机器证明[J].四川大学学报：自然科学版,1998,35(5):669-672,4.

基金项目

国家863计划资助 （）

国家自然科学基金 （）

四川大学学报：自然科学版

OA北大核心CSCD

0490-6756

访问量0
|
下载量0
段落导航相关论文