×
蒂埃里·达纳·皮卡德

天体等轴测曲线的自动研究。 （英语） Zbl 1444.68302号

J.塞姆。计算。 97, 56-68 (2020).
小结：在技术丰富的环境中学习数学，可以恢复很久以前从课程中删除的经典主题。理论问题及其应用可以在实验过程中使用自动证明进行研究。我们提出了一种基于技术的星形线等参曲线研究，该等参曲线是非光滑非凸曲线。我们利用了代数符号特征，例如在计算机代数系统（CAS）中实现的结果和Gröbner基包，以及动态几何系统（DGS）。通过将三角参数化转换为有理表达式，然后转换为多项式方程，可以使用代数方法。DGS提供的动力学可以发现等参线的特殊特征，特别是等参线具有奇点的事实，并且根据观察角度，等参线可以内切在星形线中，也可以不内切。

引用于7文件

MSC公司：

68瓦30 符号计算和代数计算
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68单位05 计算机图形学；计算几何（数字和算法方面）
68伏15 定理证明（自动和交互式定理证明、演绎、解析等）

关键词：

等轴测曲线;星形线;自动化研究;动力学几何;Gröbner碱

软件：

GeoGebra公司;可可
PDF格式BibTeX公司 XML格式引用
\textit{T.Dana-Picard}，J.Symb。计算。97、56-68（2020年；Zbl 1444.68302）
全文： DOI程序

参考文献：

[1] 亚当斯，W。；Loustauna，P.，Gröbner Bases简介，Grad。数学研究生。，第3卷（1994），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0803.13015号
[2] 博塔纳，F。；Recio，T.，《交互式环境中平面包络线自动计算的一些问题》，数学。计算。同时。，125, 115-125 (2016) ·Zbl 07313652号
[3] 博塔纳，F。；Valcarce，J.L.，在图形环境中自动确定包络线和其他衍生曲线，数学。计算。同时。，67, 3-13 (2004) ·Zbl 1091.68111号
[4] 西塞莱克。；Miernowski，A。；Mozgawa，W.，封闭严格凸曲线的等高线，（整体微分几何和整体分析，整体微分几何与整体分析，Lect.Notes数学，第1481卷（1991）），28-35·Zbl 0739.53001号
[5] 考克斯·D。；Little，J。；O'Shea，D.，《理想、多样性和算法：计算代数几何和交换代数导论》，本科生。数学文本。（1992），Springer-Verlag:Springer-Verlag纽约·Zbl 0756.13017号
[6] Csima，G。；Szirmai，J.，多面体的等距曲面，计算。辅助Geom。设计。，47, 55-60 (2016) ·Zbl 1418.51011号
[7] 达纳·皮卡德，Th。；Mann，G。；Zehavi，N.，《从圆锥交点到复曲面交点：椭圆的等参曲线案例》，蒙大拿数学。《热情》，9，1，59-76（2011），可用：
[8] Dana-Picard，Th.，Naiman，A.，2018年。Fermat曲线的等视曲线，预印本。；Dana Picard，Th.，奈曼，A.，2018。Fermat曲线的等距曲线，预印本。
[9] 达纳·皮卡德，Th。；Zehavi，N.，《微分几何经典主题的复兴：在计算机环境中探索包络线》，《国际数学杂志》。教育。科学。技术。，47, 6, 938-959 (2016) ·Zbl 1345.97009号
[10] 达纳·皮卡德，Th。；Zehavi，N.，《曲面单参数族包络线的自动研究》，（Kotsireas，I.S.；Martínez-Moro，E.，《计算机代数的应用》，2015年：希腊卡拉马塔，2015年7月。2015年计算机代数应用：希腊卡拉马塔，2015年7月，《施普林格数学与统计学报》（PROMS），第198卷（2017年），第29-44页·Zbl 1386.65088号
[11] 达纳·皮卡德，Th。；Zehavi，N.，包络线的自动研究：从单参数曲面族到双参数曲面族的过渡，电子。数学杂志。技术。，11，3（2017），14页。可用：·Zbl 1386.65088号
[12] 达纳·皮卡德，Th。；泽哈维，N。；Mann，G.，双曲线的双光曲线，国际数学杂志。教育。科学。技术。，45, 5, 762-781 (2014) ·Zbl 1314.97005号
[13] Ferréol，R.，《数学形式大百科全书》（2017），可查阅：
[14] 费雷奥尔，R。；Mandonnet，J.，Astroíde（2006），可用：
[15] Kajetanowicz，P.，《次环类》（2014），可查阅：
[16] Kovács，Z.，《滑梯的封套》（2017），可用：
[17] Miernowski，A。；Mozgawa，W.，关于等参线凸性的一些几何条件，Rend。半材料大学。都灵，55,293-98（1997）·兹伯利0928.52003
[18] 纳吉，F。；Kunkli，R。；Hoffmann，M.，寻找多面体网格等参曲面的新算法，计算。辅助Geom。设计。，64, 90-99 (2018) ·Zbl 1476.65025号
[19] Odehnal，B.，圆锥曲线的等光曲线，J.Geom。图表。，14, 1, 29-43 (2010) ·Zbl 1202.51022号
[20] Szalkowski，D.，《开放玫瑰花结的等高线》（Annales Universitatis Maria Curie-Sklodowska Lublin Polonia，vol.LIX，Section A（2005）），第119-128页·Zbl 1135.53004号
[21] Taylor，C.，正位和等位基因座理论注释，Proc。英国皇家学会。，37, 138-141 (1884)
[22] Thom，R.，《信封研究》，J.Math。Pures应用。，41, 2, 177-192 (1962) ·Zbl 0105.16102号
[23] Wang，D.M.，关于Wu证明构造几何定理的方法，（IJCAI’89会议录，底特律（1989）），419-424·Zbl 0708.68079号
[24] W.W.Wunderlich，Z.Angew Zykloiden的Die isoptischen Kurven der。数学。机械。，17, 56 (1937)
[25] Yates，R.C.，《等距曲线：曲线及其特性手册》，138-140（1952），J.W.Edwards:J.W.爱德华兹-安娜堡，密歇根州
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。