Projective geometric theorem proving with Grassmann-Cayley algebra

被引：0
|
作者：
Li, Hongbo [1 ]
机构：
[1] Chinese Acad Sci, Key Lab Math Mechanizat, Acad Math & Syst Sci, Beijing 100190, Peoples R China
来源：
HERMANN GRASSMANN: FROM PAST TO FUTURE: GRASSMANN'S WORK IN CONTEXT | 2011年
关键词：
D O I：
10.1007/978-3-0346-0405-5_24
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：275 / 285
页数：11
相关论文
共 50 条
  • [1] A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
    Fuchs, Laurent
    Thery, Laurent
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2011, 6877 : 51 - +
  • [2] GRASSMANN-CAYLEY ALGEBRA AND ROBOTICS
    WHITE, NL
    [J]. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1994, 11 (1-2) : 91 - 107
  • [3] Quadric modeling in a Grassmann-Cayley algebra setting
    Jourdan, F
    [J]. NINTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2005, : 860 - 865
  • [4] AUTOMATIC TESSELLATION OF QUADRIC SURFACES USING GRASSMANN-CAYLEY ALGEBRA
    Jourdan, Frederic
    Hegron, Gerard
    Mace, Pierre
    [J]. COMPUTER VISION AND GRAPHICS (ICCVG 2004), 2006, 32 : 674 - 682
  • [5] Kinestatic analysis of robot manipulators using the Grassmann-Cayley algebra
    Staffetti, E
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (02): : 200 - 210
  • [6] Singularity analysis of a class of parallel robots based on Grassmann-Cayley algebra
    Ben-Horin, Patricia
    Shoham, Moshe
    [J]. MECHANISM AND MACHINE THEORY, 2006, 41 (08) : 958 - 970
  • [7] Mobility analysis of overconstrained parallel mechanism using Grassmann-Cayley algebra
    Chai, Xinxue
    Li, Qinchuan
    Ye, Wei
    [J]. APPLIED MATHEMATICAL MODELLING, 2017, 51 : 643 - 654
  • [8] Application of Grassmann-Cayley Algebra to Geometrical Interpretation of Parallel Robot Singularities
    Ben-Horin, Patricia
    Shoham, Moshe
    [J]. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2009, 28 (01): : 127 - 141
  • [9] A geometric approach for singularity analysis of 3-DOF planar parallel manipulators using Grassmann-Cayley algebra
    Wen, Kefei
    Seo, TaeWon
    Lee, Jeh Won
    [J]. ROBOTICA, 2017, 35 (03) : 511 - 520
  • [10] Inverse Statics Analysis of Planar Parallel Manipulators via Grassmann-Cayley Algebra
    Wen, Kefei
    Lee, Jeh Won
    Seo, TaeWon
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2016, 14 (05) : 1389 - 1394
12345