@inproceedings{556d6d7efcf44caf85acd8da8366e809,
title = "Application of IT in Mathematical Proofs and in Checking of Results of Pupils{\textquoteright} Research",
author = "Juris {\v C}erņenoks and Andrejs Cibulis",
year = "2013",
language = "English",
pages = "172--177",
booktitle = "Applied Information and Communication Technologies, AICT 2013, 6th International Scientific Conference, 25-26 April, 2013, Jelgava, Latvia : the Conference is devoted to the 150 anniversary of the Latvia University of Agriculture : Proceedings",
}