%0 Conference Paper %1 journals/entcs/BertotGP04 %A Bertot, Yves %A Guilhot, Frédérique %A Pottier, Loic %B UITP@TPHOLs %D 2003 %E Aspinall, David %E Lüth, Christoph %I Elsevier %K dblp %P 49-65 %T Visualizing Geometrical Statements with GeoView. %U http://dblp.uni-trier.de/db/journals/entcs/entcs103.html#BertotGP04 %V 103

@inproceedings{journals/entcs/BertotGP04, added-at = {2022-12-09T00:00:00.000+0100}, author = {Bertot, Yves and Guilhot, Frédérique and Pottier, Loic}, biburl = {https://www.bibsonomy.org/bibtex/2b94065eaec8951cfd9f1fa145661e6f5/dblp}, booktitle = {UITP@TPHOLs}, crossref = {conf/uitp/2003}, editor = {Aspinall, David and Lüth, Christoph}, ee = {https://doi.org/10.1016/j.entcs.2004.09.013}, interhash = {f3b954a2080f443c551f055196a7d9d4}, intrahash = {b94065eaec8951cfd9f1fa145661e6f5}, keywords = {dblp}, pages = {49-65}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:36:34.000+0200}, title = {Visualizing Geometrical Statements with GeoView.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs103.html#BertotGP04}, volume = 103, year = 2003 }