Riešenie úloh pomocou všeobecného algebrického modelovacieho systému diplomová práca - Matkulčík, Peter (2015)