References
- Cuoco A, Levasseur K. Classical mathematics in the age of CAS. In: Fey J, editor. Computer algebra systems in secondary school mathematics education. Reston (VA): NCTM; 2003. p. 97–116.
- Dana-Picard T. Technology as a bypass for a lack of theoretical knowledge. Int J Tech Math Educ. 2005;11(3):101–109.
- Migliozzi N. Students stuff envelopes. Math Educ Res. 1995;4(2):46–50.
- Hilbert D. Talk at international congress of mathematicians. Paris, 1900; Available from http://www-history.mcs.st-and.ac.uk/Extras/Hilbert_Problems.html
- Thom R. Sur la théorie des enveloppes. J Math Pure Appl. 1962;41(2):177–192.
- Arnold VI. [On the envelope theory]. Uspekhi Mat Nauk. 1976;3(31):248–249. Russian.
- Capitanio G. On the envelope of 1-parameter families of curves tangent to a semicubic cusp. C R Acad Sci. 2002;3(335):249–254.
- Dana-Picard T, Mann G, Zehavi N. Bisoptic curves of hyperbolas. Int J Math Educ Sci Techn. 2014;45(5):762–781.
- Pottman H, Peternell M. Envelopes – computational theory and applications. In: Proceedings of Spring Conference on Computer Graphics; Budmerice. Bratislava: Comenius University; 2000. p. 3–23.
- Conkey J, Joy KI. Using isosurface methods for visualizing the envelope of a swept trivariate solid. In: Proceedings of Pacific Graphics; Hong Kong: IEEE Computer Society; 2000. p. 272–280.
- Schultz T. Juttler B. Envelope computation in the plane by approximate implicitization. Appl Algebr Eng Commun Comput. 2011;22:265–288.
- Dana-Picard T, Zeitoun D. Exploration of parametric integrals: an example from soil mechanics. Preprint. 2014.
- Adams W, Loustaunau P. An introduction to Gröbner bases. Vol. 3, Graduate studies in mathematics. Providence (RI): American Mathematical Society; 1994.
- Cox D, Little J, O'Shea D. Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra, undergraduate texts in mathematics. New York: Springer Verlag; 1992.
- Pech P. Selected topics in geometry with classical vs. computer proving. Singapore: World Scientific; 2007.
- Dana-Picard T, Naiman A. Closed paths of light trapped in a closed Fermat curves. Int J Math Educ Sci Tech. 2002;33(6):865–877.
- Cagnac G, Ramis E, Commeau J. Nouveau cours de mathématiques spéciales. Paris: Masson; 1966.
- Struik DJ. Lectures on classical differential geometry. Cambridge (MA): Addison Wesley; 1950. (2e by Dover, New York, 1988).
- Boltyanskii V. Envelopes. New York: The Macmillan Company; 1964.
- Zeitoun D, Dana-Picard T. Accurate visualization of graphs of functions of two real variables. Int J Comput Math Sci. 2010;4(1):1–11. Available from: http://www.waset.org/journals/ijcms/v4/v4-1-1.pdf
- Rovenski V. Geometry of curves and surfaces with maple. Boston (MA): Birkhauser; 2000.
- Duval R. A cognitive analysis of problems of comprehension in a learning of mathematics. Educ Stud Math. 2006;61:103–131.
- Arcavi A. The role of visual representations in the learning of mathematics. Educ Stud Math. 2003;52:215–241
- Packel EW, Yuen DS. Projectile motion with resistance and the lambert W function. Coll Math J. 2004;35(5):337–350.
- Jinyuan-Li. The role of experiments in mathematical teaching. In: Ye Q-X, Blum W, Houston K, Jiang Q-Y, editors. Mathematical modelling in education and culture: ICTMA 10. Chichester: Horwood; 2003.
- Artigue M. Learning mathematics in a CAS environment: the genesis of a reflection about instrumentation and the dialectics between technical and conceptual work. Int J Comput Math Learn. 2002;7:245–274.
- Berger M. Geometry II, Universitext. Heidelberg: Springer Verlag; 1987.