论文部分内容阅读
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.
一类构造性几何定理并行数值检验证明机
【摘 要】
：
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.
【机 构】
：
广州大学计算机教育软件所
【出 处】
：
广州大学学报：自然科学版
【发表日期】
：
2002年3期
【基金项目】
：
国家重点基础研究发展计划(973计划)，NKBRSF
其他文献
植筋技术属于新型的钢筋锚固技术.通过对植筋技术的设计原理、施工工艺和应用效果的阐述,分析了该技术的发展前景.
总结了室内空气污染方面的研究成果,分析了室内空气质量与健康的关系,并提出了将来需要进一步解决的问题.
本装置在同向流斜板沉淀池的理论基础上,充分发挥Lamella分离器的优点,在改进初期存在的问题的同时,将反应、配水及沉淀3池合为一体,这是一种新型废水处理箱型装置.单箱装置
在人工气候箱中模拟寒潮对香蕉幼苗造成的冷害,研究外源多胺(精胺、亚精胺、腐胺)对低温期间香蕉叶片过氧化物酶和相对电导率的影响.试验表明,叶面喷施0.6mmol·L-1精胺,