Mathematics Mechanization Key Laboratory Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing 100080, China;
clifford algebra; homogeneous model; symbolic computation; automated theorem proving; geometric algebra;
机译:在克利福德代数的同质和共形模型中使用转子计算3维透视投影
机译:Clifford几何代数Cl 3,0的Clifford傅立叶变换和不确定性原理 sub>
机译:使用符号和计算共轭几何图形对制造过程进行几何建模
机译:克利夫代数的齐次几何模型中的符号计算
机译:Clifford代数:几何和本体论统一的例子。
机译:基于多个猜测的取向检测的计算神经模型:几何模型和代数模型的比较
机译:符号几何计算的配方:长几何产品, BREEFs和Clifford因子分解
机译:Kaeler-Clifford代数中没有弦的磁单极子。对满意形式主义的几何解释