工业机器人误差分析 【数理化】

第五届全国模式识别及机器智能学术会议 论文集 下 多关节机器人运动学模型 中科院沈阳自动化研究所 【数理化】

大脑机器和数学 【数理化】

数理逻辑与机器证明 【数理化】

正则化深度学习及其在机器人环境感知中的应用 【数理化】

深度学习技术在图像分析、语音识别、自然语言理解等难点问题中都取得了十分显著的应用成果。然而该技术在机器人感知领域的应用相对而言仍然不够成熟，主要源于深度学习往往需要大量的训练样本来避免过拟合、...

王者之路 机器证明及其应用 【数理化】

平面几何定理的机器证明 【数理化】

数学机器简明教程 【数理化】

机器化·高性能：薄层层析法 【数理化】

几何定理机器证明的基本原理 初等几何部分 【数理化】