三角不等式的自动证明

• 作者: 张景中 陈世平
• 来源期刊: 四川大学学报(自然科学版)
• 学科: 数学
• 关键词: 可读证明 计算机符号代数 变量归一算法 智能教育软件
• 年，卷（期）: 2003,（4）
• 页码范围: 686-690
• 页数: 5页
• 分类号: O174.51
• 字数: 3648字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2003.04.018

摘要

作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成. 讨论了算法的实现技术,分析了其复杂度与输出结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张景中	中国科学院成都计算机应用研究所	198	416	10.0	18.0
2	陈世平	四川大学信息管理系	6	36	3.0	6.0