国家知识产权局信息显示，华院计算技术（上海）股份有限公司申请一项名为“一种仿人类思考智能求解平面几何题的方法和程序产品”的专利，公开号CN121212373A，申请日期为2025年11月。

专利摘要显示，本发明提供一种仿人类思考智能求解平面几何题的方法和程序产品，涉及智能符号推理技术领域。其中，仿人类思考智能求解平面几何题的方法包括：使用谓词加参数形式的语句表达题目中的几何关系，以此对命题进行直译，并建立图结构，维护推理步骤和过程结果；交替进行几何推导与代数演算，直到得出目标结论；其中，几何推导为代数关系提供新的等式；代数演算化简边长关系，进一步提供几何定理的前提条件；最后回溯推理路径，生成证明过程。本发明提供代数推导和几何推导的交互方法，推理过程严格遵守几何定理及代数运算法则，保证所得结果的正确性。

天眼查资料显示，华院计算技术（上海）股份有限公司，成立于2002年，位于上海市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本10986.4704万人民币。通过天眼查大数据分析，华院计算技术（上海）股份有限公司共对外投资了21家企业，参与招投标项目195次，财产线索方面有商标信息95条，专利信息260条，此外企业还拥有行政许可2个。

声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。

本文源自：市场资讯

作者：情报员