%0 Conference Paper %1 conf/mkm/AbanadesEB07 %A Abánades, Miguel A. %A Escribano, Jesús %A Botana, Francisco %B Calculemus/MKM %D 2007 %E Kauers, Manuel %E Kerber, Manfred %E Miner, Robert %E Windsteiger, Wolfgang %I Springer %K dblp %P 131-145 %T First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2007.html#AbanadesEB07 %V 4573 %@ 978-3-540-73083-5

@inproceedings{conf/mkm/AbanadesEB07, added-at = {2017-06-04T00:00:00.000+0200}, author = {Abánades, Miguel A. and Escribano, Jesús and Botana, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/2dfb8178f8be9ed0e6a5d42bb488c5626/dblp}, booktitle = {Calculemus/MKM}, crossref = {conf/mkm/2007}, editor = {Kauers, Manuel and Kerber, Manfred and Miner, Robert and Windsteiger, Wolfgang}, ee = {https://doi.org/10.1007/978-3-540-73086-6_13}, interhash = {13a601a159b4c1f7b2b95f12f5156879}, intrahash = {dfb8178f8be9ed0e6a5d42bb488c5626}, isbn = {978-3-540-73083-5}, keywords = {dblp}, pages = {131-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:18:02.000+0200}, title = {First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2007.html#AbanadesEB07}, volume = 4573, year = 2007 }