论文部分内容阅读
质点几何定理机器证明是当前几何定理机器证明领域内的一个研究热点。本文介绍了质点几何的基本理论。综述了质点几何定理机器证明近年来取得的一些比较显著的进展。比较了质点法和质点消去法这两种证明方法的优缺点。最后,展望了这个方向上需要进一步研究的问题。
质点几何定理机器证明的研究进展
【摘 要】
：
质点几何定理机器证明是当前几何定理机器证明领域内的一个研究热点。本文介绍了质点几何的基本理论。综述了质点几何定理机器证明近年来取得的一些比较显著的进展。比较了质
【机 构】
：
辽宁师范大学数学学院
【出 处】
：
应用数学进展
【发表日期】
：
2018年12期
其他文献
腐败问题一直是很多国家关注和研究的对象,同其他国家一样,中国在预防腐败和惩罚腐败上也一直很尽职尽责,甚至还颁布了诸如死刑等严厉的刑罚,但是仍然没有让腐败现象得到很好
本文讨论了差分方程xn+1=xn/(p+xn-1)(p≥0, n≥2)的动力学性质,其中参数p是非负数,初始值x1>0, x2>0。在一定的条件下,方程的正解的渐近稳定性得到了证明。
中国人爱吃面条,阳春面、刀削面、担担面、热干面,应有尽有,各具特色,无不激起人们的食欲,令人胃口大开。2017年1月15日一大早,我便来到工农路的一家面馆,这里的早堂面很有讲
李百炼，男．美国北卡州立大学副校长及孔子学院院长、林业与环境资源系教授。艾米，女，北卡州立大学管理学院经济学系硕士研究生，浙江大学与北卡州立大学3＋1交流计划学生。北卡州立大
我是江苏无锡人，1935年10月10日生。我于1953年考入同济建筑系城市规划专业，1957年毕业时被分配到云南省城建局。2个月后被下放到玉溪县（今玉溪市）建筑公司当工人。1958年下半年
考虑到登革热病毒传播过程中在蚊子和人体内都具有一定的潜伏期,以及相对于蚊子的生命周期来说蚊子有一个较长的孵化期,本文考虑了一类具有潜伏期时滞和孵化期时滞的登革热病
对于扩散方程的逆时问题与确定时间–空间依赖源项的反问题,提出一种基于变分伴随方法的数值反演算法。借助正问题的伴随问题,构建联系已知数据与未知量的变分恒等式,通过适
随着我国综合国力的提升,航空运输以其自身优越性越来越受到重视。目前航班运行主要是依赖于航班计划,制定的航班计划是否合理直接关系到航空公司的整个的运行效率和经济效益