几何积相关硕士博士期刊学术论文 - 搜论网

几何积相关论文

图形变换和运动的共形几何代数表示方法

共形几何代数是一种新的几何表示和几何计算工具,它具有直观、简洁、高效、统一、雅致等特性。在简单介绍外积、内积和几何积等基......

期刊

共形几何代数几何积图形变换刚体运动螺旋运动

几何代数的高阶逻辑形式化

几何代数是一种用于描述和计算几何问题的代数语言,由于它统一表达分析和不依赖于坐标的几何计算等优点,现已成为数学分析、理论物......

期刊

几何代数形式化验证定理证明 HOL-Light 几何积

看过本文同时还关注