@article{geogebratoolswithproofcapabilities,
  title = {GeoGebra Tools with Proof Capabilities},
  author = {Zoltán Kovács and Csilla Sólyom-Gecse},
  year = {2016},
  eprint = {1603.01228},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1603.01228v1},
}