维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

6篇 您的检索式：作者名="CHOU Shangching"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves显示文摘This paper reports the study of properties of the curve pairs of the Bertrandtypes using our automated reasoning program based on Wu’s method of mechanical the-orem proving for differential geometry. A complete list of results about Bertrand curvesin metric and affine spaces is derived mechanically. The list includes most of the knownresults of various Bertrand curves. We also derive some new results about Bertrand curves.	CHOU Shangching GAO Xiaoshan Department of Computer Science,the Wichita State University,Wichita,KS 67260,UsA Institute of Systems Science, Academia Sinica, Beijing 100080, China	1993	Systems Science and Mathematical Sciences1993，6，2：	8
	2	Geometric constraint satisfaction using optimization methods 显示文摘	Ge Jianxin Chou Shangching Gao Xiaoshan	1999	Computer-Aided Design1999，31，14：	1
	3	Quadratic approximation to plane parametric curves and its application in approximate implicitization显示文摘	Li Ming Gao Xiaoshan Chou Shangching	2006	Visual Computer2006，22，9：	1
	4	A deductive database approach to automated geometry theorem proving and discovering显示文摘	Chou Shangching Gao Xiaoshan Zhang Jingzhong	2000	Journal of Automated Reasoning2000，25，：	1
	5	Geometric constraint sallsfaction using optimization methods显示文摘	Ge Juanxin Chou Shangching Gao Xiaoshun	1999	Computer Aided Design1999，31，14：	1
	6	Geometric constraint satisfaction using optimization methods显示文摘	Ge Jianxin Chou Shangching Gao Xiaoshan	1999	Computer-Aided Design1999，31，14：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费