paramGeo3D swMATH ID: 37299 软件作者： 弗朗西斯科·博塔纳 描述： 三维动态几何的参数化方法。动态几何系统是一种计算机应用程序，允许在屏幕上精确绘制几何图并通过鼠标拖动进行交互操作。虽然存在大量2D动态几何环境，但3D系统的数量减少了。在2D和3D中，大多数方法都使用相同的方法，使用数字数据管理几何知识，使用基本方法计算衍生对象。本文研究了一种参数化方法，用于三维欧氏结构的自动管理。这里描述了一个开源库，它实现了三维动态几何系统中的核心功能。该库通过使用符号参数处理构造，从而能够获得关于轨迹和包络等对象的完整代数知识。这种参数化方法也是执行自动证明的先决条件。定义了基本函数，用于象征性地检查语句的真实性。利用参数多项式系统求解理论的最新结果，解决了几何轨迹和包络线自动确定中的瓶颈问题。据我们所知，在3D情况下，除了paramGeo3D库（设计用于计算简单3D几何对象的方程，但缺少查找轨迹和包络的特定功能）之外，没有可比的库。 主页： https://repositorio.unican.es/xmlui/bitstream/handle/10902/5302/A%20Parametric%20Approach%20to%203D%20Dynamic%20Geometry.pdf？sequence=1&isAllowed=y 关键词： 三维动态几何;自动演绎;Groebner基地;参数多项式系统;退化条件 相关软件： GeoGebra公司;GEX公司;三维校准;Cabri三维;枫树;单一;三维液晶显示器;卢加雷斯;地理1.1;SageMath公司;数学软件;可可;MMP/几何仪;虚拟机;甲骨文公司;gcl公司;SCSCP公司;Giac公司;GCLC公司 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 三维动态几何的参数化方法。 Zbl 07312629号弗朗西斯科·博塔纳 2014 3位作者引用 2 弗朗西斯科·博塔纳 1 Kovács，佐尔坦 1 尤金尼奥·罗内斯·洛扎诺 3篇连载文章中引用 1 模拟中的数学和计算机 1 数学与人工智能年鉴 1 计算机科学中的数学 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文