×
Michael Gerhäuser先生；阿尔弗雷德·瓦瑟曼

使用Gröbner基自动计算平面轨迹，并集成到动态几何系统中。 （英语） Zbl 1350.68295号

Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。人工智能课堂讲稿，68-77（2011）。
摘要：我们在动态几何软件JSXGraph中描述了一种众所周知的算法的集成，该算法用于计算和显示基于理想消去的平面轨迹，使用Gröbner基。利用我们的方法，不仅可以确定依赖于其他轨迹的轨迹，还可以扩展JSXGraph来处理依赖于任意平面代数曲线的轨迹。对于Gröbner基计算，我们使用CoCoa，这是一个计算机代数系统，其重点是交换代数中的计算。
有关整个系列，请参见[Zbl 1227.68009号].

引用于2文件

MSC公司：

68瓦30 符号计算和代数计算
13页第10页 Gröbner基地；理想和模块的其他基础（例如Janet和border基础）
68单位05 计算机图形；计算几何（数字和算法方面）

关键词：

动态几何系统；Gröbner碱；平面轨迹的自动发现

软件：

可可；JSXGraph（JSX图形）；马特普洛特利布；蟒蛇；网络发现；卢加雷斯
PDF格式BibTeX公司 XML格式引用
\textit{M.Gerhäuser}和\textit{A.Wassermann}，莱克托。票据计算。科学。6877、68--77（2011年；Zbl 1350.68295）
全文： 内政部

参考文献：

[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.：基于网络的几何发现智能系统。收录人：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-883
[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] Buchberger，B.：Gröbner Bases简介。发表于：Buchberger，B.，Winkler，F.（编辑）Gröbner bases and applications。伦敦数学学会讲座笔记系列。剑桥大学出版社（1998）·Zbl 0941.13017号 ·doi:10.1017/CBO9780511565847.003
[6] CoCoA：在交换代数中进行计算的系统，网址：//cocoa.dima.unige.it
[7] Cox，D.A.，Little，J.，O'Shea，D.：理想、多样性和算法：计算代数几何和交换代数导论。施普林格，纽约（2008）
[8] Fröberg，R.：Gröbner Bases简介。John Wiley&Sons（1997）·Zbl 0997.13500号
[9] von zur Gathern，J.，Gerhard，J.：现代计算机代数。剑桥大学出版社（1999）·兹伯利0936.11069
[10] Gerhäuser，M.，Miller，C.，Valentin，B.，Wassermann，A.，Wilfahrt，P.：JSXGraph：（几乎）每个设备上运行的动态数学。将在《数学与技术电子期刊》上发表
[11] Hunter，J.D.：Matplotlib:2D图形环境。收录于：《科学与工程计算》，第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-64
[14] Pilgrim，M.：潜入Python。APress（2004）
[15] Recio，T.，Vélez，M.P.：初等几何定理的自动发现。《自动推理杂志》，63-82（1999）·Zbl 0941.03010号 ·doi:10.1023/A:1006135322108
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。