“机器*”写句子 用机器*造句大全

与此同时，实现了一些数学(群论)定理的机器*，命题的逻辑推演等。

在几何定理机器*方法中。，常用的有几何代数方法、演绎数据库方法和例*法等方法。

机器*的吴方法能有效地解非线*方程组，已应用到理论论理、计算机科学、数学科学、机器人机构学等领域。

所提出的准线*变换消元法可应用于涉及非线*代数方程组求解的几何定理机器*、算机辅助设计、器人等多个领域,具有十分重要的理论意义与实用价值。

定理机器*的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。