尚庆周(Shang-Ching Chou)
人员信息
优化列表
2010 – 2019
2010 [公元23年] 郑烨 , 尚庆周(Shang-Ching Chou) , 小山高 :
平面几何中证明的视觉动态呈现——第1部分。 基本功能和手动输入方法。 J.汽车。 原因。 45 ( 三 ) : 213-241 ( 2010 ) [公元22年] 郑烨 , 尚庆周(Shang-Ching Chou) , 小山高 :
平面几何中校对的视觉动态呈现——第2部分。 使用全角度方法和演绎数据库方法自动生成可视化动态演示文稿。 J.汽车。 原因。 45 ( 三 ) : 243-266 ( 2010 )
2000 – 2009
2008 [公元27年] 郑烨 , 尚庆周(Shang-Ching Chou) , 小山高 :
Java几何专家简介-(扩展摘要)。 几何中的自动演绎 2008 : 189-195 2007 [公元21年] 闵唐 , 尚庆周(Shang-Ching Chou) , 金乡洞 :
用于协同特征建模的冲突分类和解决。 高级工程信息学 21 ( 2 ) : 211-219 ( 2007 ) 2006 [公元20年] 李明(音) , 小山高 , 尚庆周(Shang-Ching Chou) :
平面参数曲线的二次逼近及其在近似隐式化中的应用。 视觉。 计算。 22 ( 9-11 ) : 906-917 ( 2006 ) [公元26年] 闵唐 , 金乡洞 , 尚庆周(Shang-Ching Chou) :
基于细分曲面模型的实时阴影体积算法。 计算机制图国际 2006 : 538-545 2005 [公元25年] 钟新峰 , 闵唐 , 金乡洞 , 尚庆周(Shang-Ching Chou) :
卡通风格的实时雨模拟。 CAD/图形 2005 : 6 [公元24年] 闵唐 , 尚庆周(Shang-Ching Chou) , 金乡洞 :
协同特征建模的并发冲突解决。 CSCWD(1) 2005 : 50-55 【c23】 陈荣琴 , 闵唐 , 金乡洞 , 尚庆周(Shang-Ching Chou) :
基于特征模型的有效压缩和传输方法。 CSCWD(精选论文) 2005 : 424-433 [公元22年] 陈荣琴 , 闵唐 , 金乡洞 , 尚庆周(Shang-Ching Chou) :
协同CAD中的模型压缩和传输。 CSCWD(1) 2005 : 582-587 [c21] 钟新峰 , 闵唐 , 金乡洞 , 尚庆周(Shang-Ching Chou) :
实时降雨模拟。 CSCWD(精选论文) 2005 : 626-635 [公元20年] 钟新峰 , 闵唐 , 金乡洞 , 尚庆周(Shang-Ching Chou) :
基于图形硬件加速的雨动画实时渲染。 CSCWD(2) 2005 : 734-739 2004 [第19条] 闵唐 , 郑明英 , 尚庆周(Shang-Ching Chou) , 金乡洞 :
实时选择性场景传输。 CSCWD(精选论文) 2004 : 299-308 [第18条] 闵唐 , 尚庆周(Shang-Ching Chou) , 金乡洞 :
用于基于特征建模的协作虚拟环境。 虚拟现实计算机辅助教学 2004 : 120-126 2001 【p1】 尚庆周(Shang-Ching Chou) , 小山高 :
几何中的自动推理。 自动推理手册 2001 : 707-749 2000 [公元19年] 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
自动几何定理证明和发现的演绎数据库方法。 J.汽车。 原因。 25 ( 三 ) : 219-246 ( 2000 )
1990 – 1999
1999 [公元18年] 建新阁 , 尚庆周(Shang-Ching Chou) , 小山高 :
使用优化方法满足几何约束。 计算。 辅助设计。 31 ( 14 ) : 867-879 ( 1999 ) 1998 [j17] 小山高 , 尚庆周(Shang-Ching Chou) :
求解几何约束系统。 I.全球传播方法。 计算。 辅助设计。 30 ( 1 ) : 47-54 ( 1998 ) [公元16年] 小山高 , 尚庆周(Shang-Ching Chou) :
求解几何约束系统。 二、。 Rc-可构造性的符号方法和判定。 计算。 辅助设计。 30 ( 2 ) : 115-122 ( 1998 ) 1996 [公元15年] 尚庆周(Shang-Ching Chou) , 小山高 :
几何不变量可读证明的自动生成I.多重最短证明生成。 J.汽车。 原因。 17 ( 三 ) : 325-347 ( 1996 ) [公元14年] 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
具有几何不变量的可读证明的自动生成。 J.汽车。 原因。 17 ( 三 ) : 349-370 ( 1996 ) [第17条] 陆洋 , 小山高 , 尚庆周(Shang-Ching Chou) , 张敬梓 :
非核素几何定理可读证明的自动生成。 几何中的自动演绎 1996 : 171-188 [第16条] 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
几何专家简介。 CADE公司 1996 : 235-239 1995 [j13] 张敬梓 , 尚庆周(Shang-Ching Chou) , 小山高 :
欧几里德几何定理传统证明的自动生成。 安。数学。 Artif公司。 智力。 13 ( 1-2 ) : 109-138 ( 1995 ) [公元12年] 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
立体几何中传统证明的自动生成。 J.汽车。 原因。 14 ( 2 ) : 257-291 ( 1995 ) 1994 【b1】 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
几何中的机器证明-几何定理可读证明的自动生成。 应用数学系列 6, 世界科学 1994 ,国际标准图书编号 978-981-02-1584-2 第I-XVII页,1-461页 [第15条] 尼古拉斯·弗雷塔格·麦克菲 , 尚庆周(Shang-Ching Chou) , 小山高 :
结合吴方法和柯林斯方法对几何定理进行机械证明。 CADE公司 1994 : 401-415 1993 [公元11年] 尚庆周(Shang-Ching Chou) , 小山高 :
微分几何和力学中使用特征集方法的自动推理。 第一部分:Ritt-Wu分解算法的改进版本。 J.汽车。 原因。 10 ( 2 ) : 161-172 ( 1993 ) [公元10年] 尚庆周(Shang-Ching Chou) , 小山高 :
微分几何和力学中使用特征集方法的自动推理。 第二部分。 力学定理证明。 J.汽车。 原因。 10 ( 2 ) : 173-189 ( 1993 ) [公元9年] 小山高 , 尚庆周(Shang-Ching Chou) :
微分参数系统的零结构定理。 J.塞姆。 计算。 16 ( 6 ) : 585-595 ( 1993 ) [第14条] 拉吉夫·巴盖 , 瓦桑特·香博格 , 简·M·兹特科夫 , 尚庆周(Shang-Ching Chou) :
几何定理的发现:避免同构的情境描述。 ICCI公司 1993 : 354-358 [第13条] 拉吉夫·巴盖 , 瓦桑特·香博格 , 简·M·兹特科夫 , 尚庆周(Shang-Ching Chou) :
平面几何中定理的自动生成。 ISMIS系统 1993 : 415-424 [c12] 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
用矢量计算自动证明几何定理。 ISSAC公司 1993 : 284-291 [第11条] 尚庆周(Shang-Ching Chou) , 小山高 , 张敬梓 :
构造几何定理传统证明的自动生成。 低收入国家 1993 : 48-56 1992 [j8] 小山高 , 尚庆周(Shang-Ching Chou) :
关于代数曲线的参数化。 申请。 代数工程通讯。 计算。 三 : 27-38 ( 1992 ) [j7] 小山高 , 尚庆周(Shang-Ching Chou) :
有理参数方程的隐式化。 J.塞姆。 计算。 14 ( 5 ) : 459-470 ( 1992 ) [第10条] 尚庆周(Shang-Ching Chou) , 小山高 :
证明构造型几何语句。 CADE公司 1992 : 20-34 【c9】 尚庆周(Shang-Ching Chou) :
Macintoshes的几何定理证明程序。 CADE公司 1992 : 686-690 【c8】 小山高 , 尚庆周(Shang-Ching Chou) :
求解参数代数系统。 ISSAC公司 1992 : 335-341 【c7】 尚庆周(Shang-Ching Chou) , 小山高 :
微分几何和力学中使用特征法的自动推理。 国际水资源报告 1992 : 1-12 1991 [j6] 小山高 , 尚庆周(Shang-Ching Chou) :
关于曲线和曲面的法线参数化。 国际计算机杂志。 地理。 申请。 1 ( 2 ) : 125-136 ( 1991 ) 【c6】 小山高 , 尚庆周(Shang-Ching Chou) :
使用参数方程进行计算。 ISSAC公司 1991 : 122-127 1990 [j5] 尚庆周(Shang-Ching Chou) , 威廉·谢尔特 , 金根阳 :
从特征集构造Gröbner基的算法及其在几何中的应用。 算法 5 ( 2 ) : 147-154 ( 1990 ) 【c5】 尚庆周(Shang-Ching Chou) , 小山高 :
Ritt-Wu的分解算法和几何定理证明。 CADE公司 1990 : 207-220 【c4】 尚庆周(Shang-Ching Chou) :
使用特征集方法和Gröbner基方法的几何自动推理。 ISSAC公司 1990 : 255-260 【c3】 尚庆周(Shang-Ching Chou) , 小山高 :
机械几何公式推导方法。 ISSAC公司 1990 : 265-270
1980 – 1989
1989 【j4】 尚庆周(Shang-Ching Chou) , 金根阳 :
关于某些几何陈述的代数形式和机械几何定理的证明。 算法 4 ( 2 ) : 237-262 ( 1989 ) 1988 [j3] 尚庆周(Shang-Ching Chou) :
介绍吴的几何力学定理证明方法。 J.汽车。 原因。 4 ( 三 ) : 237-267 ( 1988 ) 1987 [注2] 尚庆周(Shang-Ching Chou) :
初等几何公式的机械推导方法。 J.汽车。 原因。 三 ( 三 ) : 291-299 ( 1987 ) 1986 [j1] 尚庆周(Shang-Ching Chou) , 威廉·谢尔特 :
用重写规则证明几何定理。 J.汽车。 原因。 2 ( 三 ) : 253-273 ( 1986 ) 【c2】 尚庆周(Shang-Ching Chou) :
GEO-Prover——UT开发的几何定理证明程序。 CADE公司 1986 : 679-680 【c1】 尚庆周(Shang-Ching Chou) , 海平谷 :
关于闵可夫斯基平面几何中的力学定理证明。 低收入国家 1986 : 187-192