推理数据库及几何定理的机器证明

本项成果在理论上深入探讨了技术进步与第三产业发展的相互作用机制；提出了评价技术进步对第三产业作用评价的前沿生产函数模型及C—D生产函数模型，在此基础上，评价、分析比较了我国不同省市自治区技术进步对第三产业作用、贡献份额，与国外第三产业发展的横向比较；提出了加速科学技术长入第三产业的对策。成果的主要创新和特色在于系统研究技术进步对第三产业作用机理，在国内尚属首次；用前沿生产函数等模型和方法比较分析各区域技术进步对第三产业的作用，在方法上具有创新；结合全国首次三产普查资料进行技术进步评价的实证分析也是本项成果的特色与创新之处。成果达到了预期目标，完成并提交研究报告7份，发表论文12篇，并拟出版专著。