香格里拉

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


zbMATH中的参考文献(参考文献19条)

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

  1. 贝达,阿奈;Karakaş,Bülent:Lorentz-Minkowski平面上的Diocles的cissoid(2019)
  2. Botana,Francisco:3D动态几何的参数化方法(2014)
  3. 弗朗西斯科,植物学;Abánades,Miguel A.:(动态)几何中的自动推导:轨迹计算(2014)
  4. 蒙特斯,安东尼奥;Recio,Tomás:使用Gröbner覆盖推广Steiner-Lehmus定理(2014)
  5. Botana,Francisco:在动态几何环境中计算平分线(2013)
  6. 博塔纳,弗朗西斯科:交互式几何系统的符号伴侣(2011)
  7. 格劳泽,迈克尔;Wassermann,Alfred:使用Gröbner基自动计算平面轨迹并集成到动态几何系统中(2011)
  8. 埃斯克里巴诺,耶稣;弗朗西斯科,植物学;Abánades,Miguel A.:向动态几何系统添加远程计算能力(2010)ioport公司
  9. 罗恩斯·洛扎诺,尤金尼奥;范拉贝克,尼古拉斯;Roanes Macías,Eugenio:将3D DGS Calques3D与CAS Maple相连接(2010)
  10. Guven,Bulent:使用动态几何软件来洞察证据(2008)数学
  11. 佩奇,帕维尔:几何经典与计算机证明选集(2007)
  12. 弗朗西斯科,植物学;Recio,Tomás:通过符号方法解决动态几何瓶颈(2006)
  13. 弗朗西斯科,植物学;瓦尔卡斯,何塞:基本极值问题的自动发现(2006)
  14. 弗朗西斯科,植物学;Valcarce,JoséL.:图形环境中包络线和其他衍生曲线的自动确定(2004)
  15. 累犯,T。;Botana,F.:真理在哪里(在初等几何中的自动定理证明中)(2004)
  16. Botana,Francisco:基于web的几何发现智能系统(2003)
  17. Botana,Francisco:作为点轨迹的代数曲面的自动确定(2003)
  18. 植物学。;Valcarce,J.L.:平面轨迹调查的软件工具(2003)
  19. Botana,F.:动态几何环境中平面轨迹生成的交互式与符号化方法(2002)