Interactive Education Methods for the Solution of Extremal Tasks with the Help of the Learning System ActiveMath

Viktor Izhutkin, Erica Melis, Vera Toktarova, Giorgi Goguadze

In: Telematika 2004. Conference on communication infrastructure and telematics for cities, municipalities and regions of the Czech Republic (Telematika) Moskow 2004.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence