位置：成果数据库 > 会议 > 会议详情页
Projective geometric theorem-proving with Grassmann-Cayley algebra
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：Hermann Grassmann, from Past to Future
  • 成果类型：会议
  • 会场：波茨坦
  • 相关项目：经典和现代几何的自动推理和符号计算的高级不变量技术
作者： 李洪波|
同会议论文项目
经典和现代几何的自动推理和符号计算的高级不变量技术
期刊论文 10 会议论文 4
同项目会议论文
Arbitrary Shape Reconstruction from NC Sectional Data and Applications in Space Cutter Compensation
Approximate Rational Solutions to Rational ODEs Defined on Discrete Differentiable Curves
Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra