Sine Qua Non est destiné spécialement aux professeurs de mathématiques des lycées (en particulier pour rédiger leurs documents), mais peut aussi être utilisé avec profit par les élèves.

http://maths-sciences.discipline.ac-lille.fr/maths/logiciels/sine-qua-non