基于 Gr"obnerCover 算法用于计算几何轨迹与包络的动态符号几何环境
代数几何
2013-06-11 v1
摘要
本文介绍了一种对动态几何系统 GeoGebra 的增强功能，用于代数轨迹和包络的自动符号计算。给定一个 GeoGebra 构造，该原型在将构造重写为关于变量和参数的多项式系统后，利用近期 Gr"obnerCover 算法的实现，以获得所求轨迹/包络作为局部闭集的代数描述。该原型展示了这些技术在通用动态几何系统中的适用性。
引用
@article{arxiv.1306.1900,
title = {A dynamic symbolic geometry environment based on the Gr\"obnerCover algorithm for the computation of geometric loci and envelopes},
author = {Miguel A. Abánades and Francisco Botana},
journal= {arXiv preprint arXiv:1306.1900},
year = {2013}
}
备注
Conferences on Intelligent Computer Mathematics, CICM 2013, 8-12 July 2013, Bath, UK 5 pages, 2 figures