G. Albano , A. Cavalloney , C. D'Apice, S. Salerno
Abstract
A package for the education in mathematics focuses on the study of
a conic is presented. The package is structured in an hypertextual way,
including a part of theory and a guided lab for the practical session.The
most meaningful innovation is given by the verification routines. The user
may solve exercises by hand and check the solutions he/she finds using
two verification functions.