期刊文献+

《超级画板》的自动推理功能简介 被引量:2

下载PDF
导出
摘要 使用动态几何软件,可以在计算机屏幕上画出所谓的动态几何图形:在拖动图中某些点或某些线时,图形在变动中能保持当初作图时被赋予的几何属性不变.中点仍是中点,垂线仍是垂线,等等.通过几何图形的动态变化,可体现以前在纸上无法观测到的几何原理,使人能更直观地深刻理解图形中的几何规律,从而达到真正理解几何原理的目的.
出处 《数学教学》 2008年第9期3-6,22,共5页
  • 相关文献

参考文献8

  • 1Kortenkamp,U,J Richter-Gebert.Using automatic theorem proving to improve the usability of geometry software[].Mathe- matical User Interfaces.2004
  • 2Sean Wilson,Jacques D.Fleuriot.Combining Dynamic Geometry.Automated Geometry Theorem Proving and Diagra- mmatic Proofs[]..
  • 3Ulrich Kortenkamp.Foundations of Dynamic Geometry[]..1999
  • 4Nicholas Jackiw.The Geometer‘s Ske- tchpad[]..1995
  • 5Jean-Marie Laborde,Franck Belle- main.Cabri-GeometryⅡ[]..1998
  • 6Markus Hohenwarter,Karl Fuchs.Combination of dynamic geometry,algebra and calculus in the software system GeoGe- bra. http://www.geogebra.at .
  • 7Ulrich Kortenkamp.The Future of Mathematical Software. http://kortenkamps. net/tiki-index.php .
  • 8Jürgen Richter-Gebert,Ulrich H Kortenkamp.The Interactive Geometry SoftwareCinderella[]..1999

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部