中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
FUNDAMENTAL THEOREM OF GEOMETRY WITHOUT THE SURJECTIVE ASSUMPTION 期刊论文
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2016, 卷号: 368, 期号: 10, 页码: 6819-6834
作者:  Li, Baokui;  Wang, Yuefei
收藏  |  浏览/下载：126/0  |  提交时间：2018/07/30
Line-to-line transformations  Pappus' Theorem  g-reflections  affine transformations  Mobius transformations  
Geometries for possible kinematics 期刊论文
SCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY, 2012, 卷号: 55, 期号: 11, 页码: 1978-2003
作者:  Huang ChaoGuang;  Tian Yu;  Wu XiaoNing;  Xu Zhan;  Zhou Bin
收藏  |  浏览/下载：96/0  |  提交时间：2021/01/14
SPECIAL RELATIVITY  COSMOLOGICAL CONSTANT  SITTER SPACETIME  PRINCIPLE  MODEL  possible kinematics  geometries  contraction  time duality  
A new algorithm for computing the minimum Hausdorff distance between two point sets on aline under translation 期刊论文
INFORMATION PROCESSING LETTERS, 2008, 卷号: 106, 期号: 2, 页码: 52-58
作者:  Li, Banghe;  Shen, Yuefeng;  Li, Bo
浏览  |  Adobe PDF(442Kb)  |  收藏  |  浏览/下载：449/120  |  提交时间：2018/07/30
Hausdorff Distance  Pattern Recognition  Computational Geometry  
MMP/geometer - A software package for automated geometric reasoning 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
作者:  Gao, XS;  Lin, Q
收藏  |  浏览/下载：83/0  |  提交时间：2018/07/30
geometry software  automated reasoning  geometric theorem proving  geometric theorem discovering  geometric diagram generation  intelligent dynamic geometry  
The Lie model for Euclidean geometry 期刊论文
ALGEBRAIC FRAMES FOR THE PERCEPTION-ACTION CYCLE, PROCEEDINGS, 2000, 卷号: 1888, 页码: 115-133
作者:  Li, HB
收藏  |  浏览/下载：96/0  |  提交时间：2018/07/30
Euclidean geometry  Lie sphere geometry  Clifford algebra  
Clifford algebraic reduction method for automated theorem proving in differential geometry 期刊论文
JOURNAL OF AUTOMATED REASONING, 1998, 卷号: 21, 期号: 1, 页码: 1-21
作者:  Li, HB;  Cheng, MT
收藏  |  浏览/下载：107/0  |  提交时间：2018/07/30
Wu's method  Clifford algebra  equation set solving  local theory of space curves  
PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE 期刊论文
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 卷号: 607, 页码: 20-34
作者:  CHOU, SC;  GAO, XS
收藏  |  浏览/下载：70/0  |  提交时间：2018/07/30
GEOMETRY THEOREM PROVING  WU METHOD  NONDEGENERATE CONDITION  GENERALLY TRUE  CONSTRUCTIVE GEOMETRY STATEMENT  EUCLIDEAN GEOMETRY  METRIC GEOMETRY  ALGEBRAICALLY CLOSED FIELD  
A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS .1. DISTANCES, AREAS, AND VOLUMES IN EUCLIDEAN AND NON-EUCLIDEAN GEOMETRIES 期刊论文
KEXUE TONGBAO, 1987, 卷号: 32, 期号: 7, 页码: 436-440
作者:  WU, WJ
收藏  |  浏览/下载：68/0  |  提交时间：2018/07/30