Art
J-GLOBAL ID：201702236444592671   Reference number：17A0066182

Formalization of Conformal Geometric Algebra and Robot Kinematics

共形幾何学代数とロボット運動学の形式化【JST・京大機械翻訳】
  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (6)：
Ma Sha

About Ma Sha

(Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University)

About Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University

, 
Shi Zhiping

About Shi Zhiping

(Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University)

About Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University

, 
Guan Yong

About Guan Yong

(Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University)

About Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University

, 
Li Liming

About Li Liming

(Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University)

About Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University

, 
Shao Zhenzhou

About Shao Zhenzhou

(Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University)

About Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University

, 
Zhang Jie

About Zhang Jie

(College of Information Science & Technology,Beijing University of Chemical Technology)

About College of Information Science & Technology,Beijing University of Chemical Technology


Material：
Xiaoxing Weixing Jisuanji Xitong  (Mini-Micro Systems)

About Xiaoxing Weixing Jisuanji Xitong


Volume： 37  Issue： 3  Page： 555-561  Publication year： 2016 
JST Material Number： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  Document type： Article
Article type： 原著論文  Country of issue： China (CHN)  Language： CHINESE (ZH)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Conformal Geometric Algebra ( ...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0066182&from=J-GLOBAL&jstjournalNo=C2136A") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
theorem proving

About theorem proving

, 
*algebra

About algebra

, 
modeling

About modeling

, 
numerical calculation

About numerical calculation

, 
algebraic system

About algebraic system

, 
computer system(hardware)

About computer system(hardware)

, 
robot

About robot

, 
*geometry

About geometry

, 
operation(mathematics)

About operation(mathematics)

, 
science and technology

About science and technology


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
論理モデル

About 論理モデル

, 
逆解析

About 逆解析

, 
実用性

About 実用性

, 
記号法

About 記号法

, 
*ロボット運動学

About ロボット運動学

, 【Automatic Indexing@JST】
Author keywords (5)：
Conformal Geometric Algebra ( CGA)

About Conformal Geometric Algebra ( CGA)

, 
formal verification

About formal verification

, 
theorem proving

About theorem proving

, 
HOL-Light

About HOL-Light

, 
inverse kinematics

About inverse kinematics

JST classification (9)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

,  Artificial intelligence 
(JE08000Z)

About Artificial intelligence

,  Applied programming languages 
(JD03052Y)

About Applied programming languages

,  System identification 
(IA02040O)

About System identification

,  Language processors 
(JD03040F)

About Language processors

,  System and control theory in general 
(IA02010H)

About System and control theory in general

,  Numerical analysis,approximation method 
(AB04000F)

About Numerical analysis,approximation method

,  CAI 
(JE09000G)

About CAI

,  Neurocomputers 
(JC06010Q)

About Neurocomputers

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
代数

About 代数

, 
ロボット運動学

About ロボット運動学

, 
形式化

About 形式化


Return to Previous Page

TOP

BOTTOM