... 归一化积相关算法 NPROD 三角函数化简(积化和差) trigreduce 三角函数展开(和差化积) trigexpand ...
基于6个网页-相关网页
simplification of trigonometric expressions
...词: 三角函数化简 组合规则 规则链表 可读证明 自动推理[gap=1343]Key words: simplification of trigonometric expressions; combination rules; rule lists; readable proofs; automated reasoning..
基于6个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress