卢加雷斯

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


ZBMaCT中的参考文献(17篇文章中引用)

显示结果1至17的17。
按年份排序(引文

  1. Balda~,Enay.卡拉卡·B·伦特:洛伦兹-闵可夫斯基平面(2019)中的狄奥克勒斯的顺式
  2. 弗朗西斯科,AbnnADes,Miguel A.:(动态)几何中的自动演绎:轨迹计算(2014)
  3. 弗朗西斯科:计算动态几何环境中的平分线(2013)
  4. 弗朗西斯科:互动几何系统的象征性伴侣(2011)
  5. Gerh·SU用户,米迦勒,Wassermann,艾尔弗雷德:利用Grübnar基自动计算平面轨迹并集成到一个动态几何系统中(2011)
  6. Botana,弗朗西斯科;AbnnADes,Miguel A.:向动态几何系统增加远程计算能力(2010)伊波尔特
  7. Roanes Lozano,尤金尼奥;van Labeke,尼古拉斯;Ranges Maiasas,EuGeIIO:连接3D DGS CalcSc3D和CAS Maple(2010)
  8. GuVN,Bulter:使用动态几何软件来深入了解证据(2008)马修德
  9. 帕维尔,《经典几何与计算机证明几何》(2007)
  10. 弗朗西斯科,Rioo,Toass:用符号方法解决动态几何瓶颈(2006)
  11. 弗朗西斯科,Valcarce,JoeS.L.在基本极值问题中的自动发现(2006)
  12. 弗朗西斯科,Valcarce,JoeS.L.在图形环境中自动测定信封和其他衍生曲线(2004)
  13. Botana,F:真相所在(在初等几何中的自动定理证明)(2004)
  14. BoTANA,弗朗西斯科:作为点的轨迹的代数曲面的自动确定(2003)
  15. BoTANA,弗朗西斯科:一个基于Web的几何发现智能系统(2003)
  16. Botana,F,ValCARCE,J. L.:平面轨迹研究的软件工具(2003)
  17. Botana,F.:动态几何环境中平面轨迹生成的交互与符号方法(2002)