中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Understanding Schubert's Book (III) 期刊论文
ACTA MATHEMATICA SCIENTIA, 2022, 卷号: 42, 期号: 2, 页码: 437-453
作者:  Li, Banghe
收藏  |  浏览/下载：129/0  |  提交时间：2022/04/02
Hilbert problem 15  enumeration geometry  coincidence formula  
Understanding Schubert's Book (II) 期刊论文
ACTA MATHEMATICA SCIENTIA, 2021, 页码: 48
作者:  Li, Banghe
收藏  |  浏览/下载：114/0  |  提交时间：2022/04/02
Hilbert Problem 15  enumeration geometry  blow-up  
Understanding Schubert's book (I) 期刊论文
ACTA MATHEMATICA SCIENTIA, 2021, 卷号: 41, 期号: 1, 页码: 97-113
作者:  Li, Banghe
收藏  |  浏览/下载：139/0  |  提交时间：2021/04/26
Hilbert Problem 15  enumeration geometry  incidence formula  
Hilbert Problem 15 and Nonstandard Analysis (I) 期刊论文
ACTA MATHEMATICA SCIENTIA, 2020, 卷号: 40, 期号: 1, 页码: 1-15
作者:  Li, Banghe
收藏  |  浏览/下载：160/0  |  提交时间：2020/05/24
Hilbert problem 15  nonstandard analysis  enumeration geometry  
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 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：112/0  |  提交时间：2018/07/30
Geometry theorem proving  Proof with hierarchical structures  Visually dynamic presentation of proof  Dynamic geometry  Full-angle  Deductive database  Fixpoint  Unordered geometry  Hilbert geometry  Tarski geometry