MANIPULATION
Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm
Sha Ma, Zhiping Shi, Zhenzhou Shao, Yong Guan, Liming Li, Yongdong Li
- 发表年份
- 2016
- 引用次数
- 16
关键词
Conformal geometric algebraGeometric algebraCorrectnessConformal mapAlgebra over a fieldAutomated theorem provingGeometric modelingEuclidean geometryGRASPMathematics
相关论文
OTHER
开放获取📊 20,501 引用
Fractional Differential Equations
Igor Podlubný
2025
LEARNING
📊 7,678 引用
Fractional Brownian Motions, Fractional Noises and Applications
Benoît B. Mandelbrot, John W. Van Ness
1968
MANIPULATION
📊 7,533 引用
Real-Time Obstacle Avoidance for Manipulators and Mobile Robots
Oussama Khatib
1986
MANIPULATION
📊 6,720 引用
A Mathematical Introduction to Robotic Manipulation
Richard M. Murray, Zexiang Li, Shankar Sastry
2017