博塔纳，弗朗西斯科；托马斯·雷西奥 平面曲线族包络线的自动计算建议。 （英语） Zbl 1417.68177号 J.系统。科学。复杂。 32，第1号，150-157（2019）. 小结：平面曲线族包络的概念是微分几何中的一个基本概念。因此，它在动态几何环境中的实现非常通用（Cabri、The Geometer’s Sketchpad、Cinderella、GeoGebra等）。然而，在计算某些包络线时，大多数程序都会返回一些伪解和真正符合包络线直观定义的曲线。伪零件和真零件之间的精确区分以前从未有过：本文以算法的方式提出了这种区分，准备在交互式几何系统中实现，从而可以对当前先进的包络计算方法产生的不同零件进行更精细的分类，因此，产生更精确的输出，没有多余的组件。 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68单位05 计算机图形；计算几何（数字和算法方面） 68瓦30 符号计算和代数计算 关键词：几何中的自动演绎；动态几何；信封；参数多项式系统；符号计算 软件：几何画板；灰姑娘；GeoGebra公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}和\textit{T.Recio}，J.Syst。科学。复杂。32，第1号，150-157（2019；Zbl 1417.68177） 全文： 内政部 参考文献： [1] Abánades MA、Botana F、Montes A等人，《动态几何中轨迹计算的代数分类法》，Comp。辅助设计。，2014, 56: 22-33. ·doi:10.1016/j.cad.2014.06.008 [2] Botana F和Recio T，交互环境中平面包络线自动计算的一些问题，数学。公司。模拟。，2016, 125: 115-125. ·Zbl 07313652号 ·doi:10.1016/j.matcom.2014.05.011 [3] Botana F和Recio T，《在动态几何环境中计算包络线》，数学年鉴。Artif公司。英特尔。，2017, 80: 3-20. ·Zbl 1409.68303号 ·doi:10.1007/s10472-016-9500-3 [4] Bruce J W和Giblin P J，《曲线和奇点》，剑桥大学出版社，剑桥，1984年·Zbl 0534.58008号 [5] Montes A和Wibmer M，带参数多项式系统的Gröbner基，J.Symbol。计算。，2010, 45: 1391-1425. ·Zbl 1207.13018号 ·doi:10.1016/j.jsc.2010.06.017 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。