香格里拉

研究平面轨迹的软件工具。我们描述了Lugares获得平面轨迹方程和图形的能力。Lugares是一个用Prolog编写的Windows程序,它提供了一个标准的动态几何环境,并使用CoCoA的符号功能,CoCoA是一个专门用于Groebner基计算的计算机代数系统,或者Mathematica。Lugares的主要创新之处在于动态几何范式与几何自动发现的符号方法之间的联系。通过这一环节,Lugares确定了几乎所有由几何条件指定的代数曲线作为轨迹。


zbMATH参考文献(17篇文章引用)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. Baydaş,Şenay;Karakaş,Bülent:Lorentz-Minkowski平面上的Diocles的cissoid(2019)
  2. Botana,Francisco;Abánades,Miguel A.:(动态)几何中的自动推导:轨迹计算(2014)
  3. Botana,Francisco:在动态几何环境中计算平分线(2013)
  4. 博塔纳,弗朗西斯科:交互式几何系统的符号伴侣(2011)
  5. Gerhäuser,Michael;Wassermann,Alfred:使用Gröbner基自动计算平面轨迹并将其整合到动态几何系统中(2011)
  6. Escribano,Jesús;Botana,Francisco;Abánades,Miguel A.:向动态几何系统添加远程计算能力(2010)ioport公司
  7. Roanes Lozano,Eugenio;van Labeke,Nicolas;Roanes Macías,Eugenio:将3D DGS Calques3D与CAS Maple相连接(2010)
  8. Guven,Bulent:使用动态几何软件来洞察证据(2008)数学
  9. 佩奇,帕维尔:几何经典与计算机证明选集(2007)
  10. Botana,Francisco;Recio,Tomás:通过符号方法解决动态几何瓶颈(2006)
  11. Botana,Francisco;Valcarce,JoséL.:基本极值问题的自动发现(2006)
  12. Botana,Francisco;Valcarce,JoséL.:图形环境中包络线和其他衍生曲线的自动确定(2004)
  13. Recio,T.;Botana,F.:真理在哪里(在初等几何中的自动定理证明中)(2004)
  14. Botana,Francisco:作为点轨迹的代数曲面的自动确定(2003)
  15. Botana,Francisco:基于web的几何发现智能系统(2003)
  16. Botana,F.;Valcarce,J.L.:平面轨迹调查的软件工具(2003)
  17. Botana,F.:动态几何环境中平面轨迹生成的交互式与符号化方法(2002)