@inproceedings(BotanaICCS2002,
 author       = "F. Botana",
 year         = "2002",
 title        = "Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments",
 editor       = "P. M. A. Sloot",
 booktitle    = "ICCS 2002",
 series       = "Lectures Notes on Computer Science",
 volume       = "2330",
 pages        = "211--218",
 doi          = "10.1007/3-540-46080-2$\_$22",
)
@misc(Locus4i2gThedu11,
 author       = "F. Botana and M. A. Ab\'anades",
 year         = "2011",
 title        = "Locus4i2g Sage worksheet",
 url          = "http://www.sagenb.org/home/pub/3209",
)
@misc(LocusNondeg4ggbThedu11,
 author       = "F. Botana and M. A. Ab\'anades",
 year         = "2011",
 title        = "Locus$\_$nondeg$\_$thedu11 Sage worksheet",
 url          = "http://www.sagenb.org/home/pub/3460",
)
@misc(LocusProof4ggbThedu11,
 author       = "F. Botana and M. A. Ab\'anades",
 year         = "2011",
 title        = "LocusProog4ggb Sage worksheet",
 url          = "http://www.sagenb.org/home/pub/3208",
)
@article(BotanaAbanades2011,
 author       = "F. Botana and M. A. Ab\'anades",
 year         = "Submitted",
 title        = "Automatic Deduction in (Dynamic) Geometry",
)
@article(BotanaValcarceCAE,
 author       = "F. Botana and J. L. Valcarce",
 year         = "2002",
 title        = "A dynamic-symbolic interface for geometric theorem discovery",
 journal      = "Computers and Education",
 volume       = "38",
 pages        = "21--35",
 doi          = "10.1016/S0360-1315(01)00089-6",
)
@article(BotanaValcarceMatCom2003,
 author       = "F. Botana and J. L. Valcarce",
 year         = "2003",
 title        = "A software tool for the investigation of plane loci",
 journal      = "Mathematics and Computers in Simulation",
 volume       = "61(2)",
 pages        = "139--152",
 doi          = "10.1016/S0378-4754(02)00173-8",
)
@article(LAD,
 author       = "J. Escribano and F. Botana and M. A. Ab\'anades",
 year         = "2010",
 title        = "Adding Remote Computational Capabilities to Dynamic Geometry Systems",
 journal      = "Mathematics and Computers in Simulation",
 volume       = "80",
 pages        = "1177--1184",
 doi          = "10.1016/j.matcom.2008.04.019",
)
@book(GEX,
 author       = "X. S. Gao and J. Z. Zhang and S. C. Chou",
 year         = "1998",
 title        = "Geometry Expert",
 publisher    = "Nine Chapters, Taiwan",
)
@misc(GeoGebra,
 author       = "GeoGebra",
 url          = "http://www.geogebra.org",
)
@inproceedings(JSXGraphADG2010,
 author       = "Michael Gerhäuser and Alfred Wassermann",
 year         = "2011",
 title        = "Automatic calculation of plane loci using {G}roebner bases and integration into a Dynamic Geometry System",
 booktitle    = "Automatic Deduction in Geometry, 8th International Workshop, ADG 2010, Munich, Germany",
 series       = "Lectures Notes in Artificial Intelligence",
 volume       = "6877",
 pages        = "68--77",
 doi          = "10.1007/978-3-642-25070-5$\_$4",
)
@inbook(proofGDS,
 author       = "C. Hoyles and K. Jones",
 year         = "1998",
 title        = "Proof in Dynamic Geometry Contexts",
 chapter      = "Perspectives on the teaching of Geometry for the 21st Century",
 pages        = "121--128",
 publisher    = "Kluwer, Dordrecht",
)
@misc(intergeo_format,
 author       = "Intergeo",
 year         = "2010",
 title        = "Intergeo file format",
 url          = "http://i2geo.net/xwiki/bin/view/I2GFormat/",
)
@misc(intergeoImplementationTable,
 author       = "Intergeo",
 year         = "2010",
 title        = "Intergeo Implementation Table",
 url          = "http://i2geo.net/xwiki/bin/view/I2GFormat/ImplementationsTable",
)
@book(GSP,
 author       = "N. Jackiw",
 year         = "2002",
 title        = "The Geometer’s Sketchpad v 4.0.",
 publisher    = "Key Curriculum Press",
)
@misc(cardioid,
 author       = "JSXGraph",
 year         = "2010",
 title        = "i2g locus example",
 url          = "http://i2geo.net/xwiki/bin/download/I2GFormat/WebHome/locuscardioid.html",
)
@inproceedings(intergeo_documentation_1,
 author       = "U. Kortenkamp and A. M. Blessing and C. Dohrmann and Y. Kreis and P. Libbrecht and C. Mercat",
 year         = "2009",
 title        = "Interoperable interactive geometry for europe -- first technological and educational results and future challenges of the intergeo project",
 booktitle    = "Proceedings of CERME 6, Lyon",
)
@inproceedings(intergeo_documentation_2,
 author       = "U. Kortenkamp and C. Dohrmann and Y. Kreis and C. Dording and P. Libbrecht and C. Mercat",
 year         = "2009",
 title        = "Using the intergeo platform for teaching and research",
 booktitle    = "Proceedings of the 9th International Conference on Technology in Mathematics Teaching, Metz, ICTMT-9",
)
@book(cabri,
 author       = "J. M. Laborde and F. Bellemain",
 year         = "1998",
 title        = "Cabri Geometry II",
 publisher    = "Texas Instruments, Dallas",
)
@article(MontesWibmer2010,
 author       = "Antonio Montes and Michael Wibmer",
 year         = "2010",
 title        = "{G}roebner bases for polynomial systems with parameters",
 journal      = "Journal of Symbolic Computation",
 volume       = "45",
 pages        = "1391--1425",
 doi          = "10.1016/j.jsc.2010.06.017",
)
@article(RecioVelez99,
 author       = "T. Recio and M. P. V\'elez",
 year         = "1999",
 title        = "Automatic discovery of theorems in elementary geometry",
 journal      = "Journal of Automated Reasoning",
 volume       = "23",
 pages        = "63--82",
 doi          = "10.1023/A:1006135322108",
)
@book(cinderella,
 author       = "J. Richter-Gebert and U. Kortenkamp",
 year         = "1999",
 title        = "The Interactive Geometry Software Cinderella",
 publisher    = "Springer, Berlin",
)
@article(RoanesBridge,
 author       = "E. Roanes-Lozano and E. Roanes-Mac\'ias and M. Villar",
 year         = "2003",
 title        = "A bridge between dynamic geometry and computer algebra",
 journal      = "Mathematical and Computer Modelling",
 volume       = "37",
 pages        = "1005--1028",
 doi          = "10.1016/S0895-7177(03)00115-8",
)
@misc(stein,
 author       = "W. Stein",
 url          = "http://wstein.org/",
)
@inproceedings(GeometryExpressions,
 author       = "P. Todd",
 year         = "2007",
 title        = "Geometry Expressions: a constraint based interactive symbolic geometry system",
 editor       = "F. Botana and T. Recio",
 booktitle    = "Automated Deduction in Geometry, 6th International Workshop, ADG 2006",
 series       = "Lecture Notes in Artificial Intelligence",
 volume       = "4689",
 publisher    = "Springer-Verlag, Berlin, Heidelberg, New York",
 pages        = "189--202",
 doi          = "10.1007/978-3-540-77356-6$\_$12",
)
@inbook(Geother,
 author       = "D. Wang",
 year         = "1996",
 title        = "Automated Deduction - Cade-13",
 chapter      = "GEOTHER: A geometry theorem prover",
 pages        = "166--170",
 series       = "LNCS",
 volume       = "1104/1996",
 publisher    = "Springer",
 doi          = "10.1007/3-540-61511-3$\_$78",
)