中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共5条，第1-5条 帮助

条数/页： 排序方式：
Understanding Schubert's Book (III) 期刊论文  OAI收割
ACTA MATHEMATICA SCIENTIA, 2022, 卷号: 42, 期号: 2, 页码: 437-453
作者:  Li, Banghe
  |  收藏  |  浏览/下载：16/0  |  提交时间：2022/04/02
Understanding Schubert's Book (II) 期刊论文  OAI收割
ACTA MATHEMATICA SCIENTIA, 2021, 页码: 48
作者:  Li, Banghe
  |  收藏  |  浏览/下载：16/0  |  提交时间：2022/04/02
Understanding Schubert's book (I) 期刊论文  OAI收割
ACTA MATHEMATICA SCIENTIA, 2021, 卷号: 41, 期号: 1, 页码: 97-113
作者:  Li, Banghe
  |  收藏  |  浏览/下载：20/0  |  提交时间：2021/04/26
Hilbert Problem 15 and Nonstandard Analysis (I) 期刊论文  OAI收割
ACTA MATHEMATICA SCIENTIA, 2020, 卷号: 40, 期号: 1, 页码: 1-15
作者:  Li, Banghe
  |  收藏  |  浏览/下载：17/0  |  提交时间：2020/05/24
Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文  OAI收割
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
  |  收藏  |  浏览/下载：20/0  |  提交时间：2018/07/30