Článek představuje možnosti systému ATest, zaměřeného na podporu aritmetických dovedností žáků, který autoři představili na konferenci "Užití počítač ů ve výuce matematiky". Prostředí napomáhá nejen automatizovat provádění základních aritmetických operací, ale vyžaduje (a tím cvičí) schopnost hledat možné konstrukce daného cíle-výsledku.