{"id":"https://openalex.org/W2548455039","doi":"https://doi.org/10.1145/3015306.3015309","title":"Development of automatic reasoning tools in GeoGebra","display_name":"Development of automatic reasoning tools in GeoGebra","publication_year":2016,"publication_date":"2016-11-04","ids":{"openalex":"https://openalex.org/W2548455039","doi":"https://doi.org/10.1145/3015306.3015309","mag":"2548455039"},"language":"en","primary_location":{"id":"doi:10.1145/3015306.3015309","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3015306.3015309","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030789380","display_name":"Miguel \u00c1. Ab\u00e1nades","orcid":"https://orcid.org/0000-0002-6278-2912"},"institutions":[{"id":"https://openalex.org/I182083151","display_name":"Universidad Rey Juan Carlos","ror":"https://ror.org/01v5cv687","country_code":"ES","type":"education","lineage":["https://openalex.org/I182083151"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Miguel Ab\u00e1nades","raw_affiliation_strings":["Universidad Rey Juan Carlos, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Rey Juan Carlos, Spain","institution_ids":["https://openalex.org/I182083151"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103150764","display_name":"Francisco Botana","orcid":"https://orcid.org/0000-0002-0212-6470"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco Botana","raw_affiliation_strings":["Universidad de Vigo, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de Vigo, Spain","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018334008","display_name":"Zolt\u00e1n Kov\u00e1cs","orcid":"https://orcid.org/0000-0003-2512-5793"},"institutions":[{"id":"https://openalex.org/I4210098265","display_name":"Private P\u00e4dagogische Hochschule der Di\u00f6zese Linz","ror":"https://ror.org/00wb8n271","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210098265"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Zolt\u00e1n Kov\u00e1cs","raw_affiliation_strings":["The Private University College of Education of the Diocese of Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Private University College of Education of the Diocese of Linz, Austria","institution_ids":["https://openalex.org/I4210098265"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029421675","display_name":"Tom\u00e1s Recio","orcid":"https://orcid.org/0000-0002-1011-295X"},"institutions":[{"id":"https://openalex.org/I13134134","display_name":"Universidad de Cantabria","ror":"https://ror.org/046ffzj20","country_code":"ES","type":"education","lineage":["https://openalex.org/I13134134"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Tom\u00e1s Recio","raw_affiliation_strings":["Universidad de Cantabria, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de Cantabria, Spain","institution_ids":["https://openalex.org/I13134134"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088859661","display_name":"Csilla S\u00f3lyom-Gecse","orcid":null},"institutions":[{"id":"https://openalex.org/I3125347698","display_name":"Babe\u0219-Bolyai University","ror":"https://ror.org/02rmd1t30","country_code":"RO","type":"education","lineage":["https://openalex.org/I3125347698"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Csilla S\u00f3lyom-Gecse","raw_affiliation_strings":["Babes-Bolyai University, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Babes-Bolyai University, Romania","institution_ids":["https://openalex.org/I3125347698"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030789380"],"corresponding_institution_ids":["https://openalex.org/I182083151"],"apc_list":null,"apc_paid":null,"fwci":4.1342,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.94605034,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"50","issue":"3","first_page":"85","last_page":"88"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9656000137329102,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7827287912368774},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6231251955032349},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5647563934326172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5342703461647034},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.5079696774482727},{"id":"https://openalex.org/keywords/educational-software","display_name":"Educational software","score":0.49936771392822266},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3808709681034088},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33858633041381836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7827287912368774},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6231251955032349},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5647563934326172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5342703461647034},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.5079696774482727},{"id":"https://openalex.org/C543511877","wikidata":"https://www.wikidata.org/wiki/Q1074158","display_name":"Educational software","level":3,"score":0.49936771392822266},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3808709681034088},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33858633041381836},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3015306.3015309","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3015306.3015309","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W395566770","https://openalex.org/W1562474977","https://openalex.org/W1983376640","https://openalex.org/W2026253506","https://openalex.org/W2064030682","https://openalex.org/W2074337495","https://openalex.org/W2150070066","https://openalex.org/W2172398743"],"related_works":["https://openalex.org/W4387426029","https://openalex.org/W4254162896","https://openalex.org/W4388792380","https://openalex.org/W1477999932","https://openalex.org/W4386731653","https://openalex.org/W2376001620","https://openalex.org/W2925303117","https://openalex.org/W3167529338","https://openalex.org/W4285219045","https://openalex.org/W2329762772"],"abstract_inverted_index":{"Much":[0],"effort":[1],"has":[2],"been":[3],"put":[4],"into":[5,45],"the":[6,39,69,74,104,112,121],"implementation":[7],"of":[8,24,41,52,54,77,79,91],"automatic":[9,25,42,75],"proving":[10],"in":[11,68,81,96,116,128],"interactive":[12],"geometric":[13],"environments":[14],"(e.g.":[15],"Java":[16],"Geometry":[17],"Expert,":[18],"GeoGebra).":[19],"The":[20],"closely":[21],"related":[22],"concept":[23],"discovery,":[26],"remains":[27],"however":[28],"almost":[29],"unexplored.":[30],"This":[31,87,119],"software":[32,49],"presentation":[33],"will":[34],"demonstrate":[35],"our":[36],"results":[37],"towards":[38],"incorporation":[40],"discovery":[43,76],"capabilities":[44],"GeoGebra,":[46],"an":[47,89],"educational":[48],"with":[50],"tens":[51],"millions":[53],"users":[55,127],"worldwide.":[56],"As":[57],"main":[58],"result,":[59],"we":[60],"report":[61],"on":[62],"a":[63,92],"new":[64],"command,":[65,94],"currently":[66],"available":[67],"official":[70],"version,":[71],"that":[72],"allows":[73],"loci":[78,101],"points":[80],"diagrams":[82],"defined":[83,102],"by":[84,103],"implicit":[85],"conditions.":[86],"represents":[88],"extension":[90],"previous":[93],"similar":[95],"nature,":[97],"but":[98],"restricted":[99],"to":[100],"standard":[105],"mover-tracer":[106],"construction.":[107],"Our":[108],"proposal":[109],"successfully":[110],"automates":[111],"`dummy":[113],"locus":[114],"dragging'":[115],"dynamic":[117],"geometry.":[118,130],"makes":[120],"cycle":[122],"conjecturing-checking-proving":[123],"accessible":[124],"for":[125],"general":[126],"elementary":[129]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}