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
- Year
- 2016
- Citations
- 16
Keywords
Conformal geometric algebraGeometric algebraCorrectnessConformal mapAlgebra over a fieldAutomated theorem provingGeometric modelingEuclidean geometryGRASPMathematics
Related papers
OTHER
Open access📊 20,501 cites
Fractional Differential Equations
Igor Podlubný
2025
LEARNING
📊 7,678 cites
Fractional Brownian Motions, Fractional Noises and Applications
Benoît B. Mandelbrot, John W. Van Ness
1968
MANIPULATION
📊 7,533 cites
Real-Time Obstacle Avoidance for Manipulators and Mobile Robots
Oussama Khatib
1986
MANIPULATION
📊 6,720 cites
A Mathematical Introduction to Robotic Manipulation
Richard M. Murray, Zexiang Li, Shankar Sastry
2017