| 从几何代数到高级不变量计算 |
| |
| 引用本文： | 李洪波. 从几何代数到高级不变量计算[J]. 系统科学与数学, 2008, 28(8): 915-929 |
| |
| 作者姓名： | 李洪波 |
| |
| 作者单位： | 中国科学院数学与系统科学研究院数学机械化重点实验室,北京,100190 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 综述近几年来几何代数和高级不变量计算两方面的主要进展,重点是共形几何代数的背景、思路、发展和对经典几何的高级不变量理论发展的重要作用.
|
| 关 键 词： | 几何代数 共形几何代数 不变量计算 高级不变量 几何定理的机器证明 |
| 收稿时间： | 2008-03-11 |
From Geometric Algebras to Advanced Invariant Computing |
| |
| LI Hongbo. From Geometric Algebras to Advanced Invariant Computing[J]. Journal of Systems Science and Mathematical Sciences, 2008, 28(8): 915-929 |
| |
| Authors: | LI Hongbo |
| |
| Affiliation: | Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190 |
| |
| Abstract: | This paper reviews major achievements in recent years on geometric algebrasand advanced invariant computing, with emphasis upon the background, guideline and establishment of conformal geometric algebra and its important contributions to the development of advanced invariants in classical geometry. |
| |
| Keywords: | Geometric algebra conformal geometric algebra invariant computing advanced invariants mechanical geometric theorem proving. |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
|
点击此处可从《系统科学与数学》下载全文 |
