×

兹马思-数学第一资源

用Gröbner基自动计算平面轨迹并集成到动态几何系统中。(英语) Zbl 1350.68295
Schreck,Pascal(ed.)等人,《几何中的自动推导》。2010年7月22日至24日,德国慕尼黑,ADG 2010年第8届国际研讨会。修订精选论文。柏林,邮编:250BN-979。计算机科学讲义6877。人工智能课堂讲稿,68-77(2011)。
摘要:我们描述了在动态几何软件JSXGraph中,基于理想消去的平面轨迹计算和显示算法的集成。我们的方法不仅可以根据其他轨迹确定轨迹,而且还可以扩展JSXGraph来处理依赖于任意平面代数曲线的轨迹。对于Gröbner基的计算,我们使用CoCoa,这是一个计算机代数系统,其重点是交换代数中的计算。
整个系列请参见[Zbl 1227.68009].

理学硕士:
68立方厘米 符号计算与代数计算
13页10页 Gröbner基;理想和模的其他基(如Janet基和border基)
68U05 计算机图形学.计算几何(数字和算法方面)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Becker,T.,Weispfenning,V.:Gröbner基:交换代数的计算方法。斯普林格,海德堡(1993)·Zbl 0772.13010·doi:10.1007/978-1-4612-0913-3
[2] Botana,F.,Valcarce,J.L.:用于平面轨迹调查的软件工具。数学与计算机模拟61(2),139–152(2003)·Zbl 1011.68149·doi:10.1016/S0378-4754(02)00173-8
[3] Botana,F:基于Web的几何发现智能系统。在:Sloot,P.M.A.,Abramson,D.,Bogdanov,A.V.,Gorbachev,Y.E.,Dongarra,J.,Zomaya,A.Y.(编辑),ICCS 2003,第一部分,LNCS,第2657卷,第801-810页。斯普林格,海德堡(2003)·doi:10.1007/3-540-44860-8_83
[4] Botana,F.,Abánades,M.A.,Escribano,J.:计算标准动态几何环境的轨迹方程。作者:Shi,Y.,van Albada,G.D.,Dongarra,J.,Sloot,P.M.A.(编辑),ICCS 2007,第二部分。LNCS,第4488卷,第227-234页。斯普林格,海德堡(2007)·Zbl 05293593·doi:10.1007/978-3-540-72586-2_32
[5] 布赫伯杰,B.:格勃纳基简介。贝格尔,贝格尔应用。伦敦数学学会讲稿系列。剑桥大学出版社(1998)·Zbl 0941.13017·doi:10.1017/CBO9780511565847.003
[6] CoCoA:在交换代数中进行计算的系统,url http://CoCoA.dima.unige.it
[7] 代数学和代数学的介绍。斯普林格,纽约(2008)
[8] Fröberg,R.:Gröbner基简介。约翰威利父子公司(1997)·Zbl 0997.13500号
[9] 冯祖尔加滕,J.,格哈德,J.:现代计算机代数。剑桥大学出版社(1999)·Zbl 0936.11069
[10] Gerhäuser,M.,Miller,C.,Valentin,B.,Wassermann,A.,Wilfahrt,P.:JSXGraph:动态数学(几乎)运行在每个设备上。发表在《数学与技术电子杂志》上
[11] 亨特,J.D.:Matplotlib:一个二维图形环境。科学与工程计算,第9卷,第90-95页。IEEE计算机协会,Los Alamitos(2007)
[12] Kortenkamp,U.:动态几何基础。论文(1999)
[13] Lebmeir,P.,Richter Gebert,J.:计算构建的位点识别。摘自:Botana,F.,Recio,T.(编辑),ADG 2006。LNCS(LNAI),第4869卷,第52-67页。斯普林格,海德堡(2007)·Zbl 1195.68105·doi:10.1007/978-3-540-77356-6_4
[14] Pilgrim,M.:潜入巨蟒。APress(2004年)
[15] Recio,T.,Vélez,M.P.:初等几何中定理的自动发现。自动推理杂志,63-82(1999)·Zbl 0941.03010·doi:10.1023/A:1006135322108
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。