“机器*”可以造什么句,机器*造句
来源:语文精选馆 3.17W
在几何定理机器*方法中。,常用的有几何代数方法、演绎数据库方法和例*法等方法。
所提出的准线*变换消元法可应用于涉及非线*代数方程组求解的几何定理机器*、算机辅助设计、器人等多个领域,具有十分重要的理论意义与实用价值。
与此同时,实现了一些数学(群论)定理的机器*,命题的逻辑推演等。
定理机器*的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
在几何定理机器*方法中。,常用的有几何代数方法、演绎数据库方法和例*法等方法。
所提出的准线*变换消元法可应用于涉及非线*代数方程组求解的几何定理机器*、算机辅助设计、器人等多个领域,具有十分重要的理论意义与实用价值。
与此同时,实现了一些数学(群论)定理的机器*,命题的逻辑推演等。
定理机器*的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功。