Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Jackiw, N.: The Geometer’s Sketchpad, vol. 4.0. Key Curriculum Press, Berkeley (2002)
2. Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)
3. List of interactive geometry software,
http://en.wikipedia.org/wiki/List_of_interactive_geometry_software
4. Buchberger, B.: Groebner Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184–231. Reidel, Dordrecht (1985)
5. Wu, W.T.: Mechanical Theorem Proving in Geometries. Springer, Vienna (1994)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献