@Inproceedings{EPTCS79.4, author = {Mari\'c, Filip and Petrovi\'c, Ivan and Petrovi\'c, Danijela and Jani\v{c}i\'c, Predrag}, year = {2012}, title = {Formalization and Implementation of Algebraic Methods in Geometry}, editor = {Quaresma, Pedro and Back, Ralph-Johan}, booktitle = {{\rm Proceedings First Workshop on} CTP Components for Educational Software, {\rm Wroc{\l}aw, Poland, 31th July 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {79}, publisher = {Open Publishing Association}, pages = {63-81}, doi = {10.4204/EPTCS.79.4}, }