王瑞;王明;关、勇;李晓娟 动态环境下移动机器人避障策略的建模与分析。 (英语) Zbl 1394.68392号 数学。问题。工程师。 2015年,文章ID 837259,11 p.(2015).MSC公司:68T40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}等人,数学。问题。Eng.2015,文章ID 837259,11 p.(2015;Zbl 1394.68392) 全文: 内政部
史志平;张玉鹏;关、勇;李丽明;张杰 HOL中离散傅里叶变换的形式化。 (英语) Zbl 1394.68353号 数学。问题。工程师。 2015年,文章ID 687152,8 p.(2015).MSC公司:68吨15 65T50型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shi}等人,《数学》。问题。Eng.2015,文章ID 687152,8 p.(2015;Zbl 1394.68353) 全文: 内政部