温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本公开的实施例提供了一种用于自动求解代数问题的方法、装置、设备和存储介质。该方法包括针对与代数问题关联的代数式,确定能够应用于所述代数式的多个定理。方法还包括确定所述多个定理的多个得分,每个得分指示相应定理被应用于所述代数式的合理性。方法还...该专利属于北京有竹居网络技术有限公司所有,仅供学习研究参考,未经过北京有竹居网络技术有限公司授权不得商用。
温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本公开的实施例提供了一种用于自动求解代数问题的方法、装置、设备和存储介质。该方法包括针对与代数问题关联的代数式,确定能够应用于所述代数式的多个定理。方法还包括确定所述多个定理的多个得分,每个得分指示相应定理被应用于所述代数式的合理性。方法还...