位置：成果数据库 > 期刊 > 期刊详情页
基于指标形式张量的微分几何定理机器证明
  • 期刊名称：《系统科学与数学》
  • 时间：0
  • 页码：1238-1248
  • 语言：中文
  • 相关项目：经典和现代几何的自动推理和符号计算的高级不变量技术
作者： 曹源昊|叶征|李洪波|谢正|
同期刊论文项目
经典和现代几何的自动推理和符号计算的高级不变量技术
期刊论文 10 会议论文 4
同项目期刊论文
A new approach for solving differential equations based on B-splines and transfinite interpolation
四元数的复数形式及其在$6R$机器人反解中的应用
SYMBOLIC VERSOR COMPRESSION ALGORITHM
GEOMETRIC ERROR CONTROL IN THE PARABOLA-BLENDING LINEAR INTERPOLATOR
B-spline patches and transfinite interpolation method for PDE controlled simulation