{"id":"https://openalex.org/W3159508863","doi":"https://doi.org/10.5220/0010493103240331","title":"Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator","display_name":"Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3159508863","doi":"https://doi.org/10.5220/0010493103240331","mag":"3159508863"},"language":"en","primary_location":{"id":"doi:10.5220/0010493103240331","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010493103240331","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Computer Supported Education","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0010493103240331","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062460264","display_name":"Antti Valmari","orcid":"https://orcid.org/0000-0002-5022-1624"},"institutions":[{"id":"https://openalex.org/I94722563","display_name":"University of Jyv\u00e4skyl\u00e4","ror":"https://ror.org/05n3dz165","country_code":"FI","type":"education","lineage":["https://openalex.org/I94722563"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Antti Valmari","raw_affiliation_strings":["University of Jyv\u00e4skyl\u00e4, Faculty of Information Technology, PO Box 35, FI-40014 University of Jyv\u00e4skyl\u00e4, Finland, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"University of Jyv\u00e4skyl\u00e4, Faculty of Information Technology, PO Box 35, FI-40014 University of Jyv\u00e4skyl\u00e4, Finland, --- Select a Country ---","institution_ids":["https://openalex.org/I94722563"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5062460264"],"corresponding_institution_ids":["https://openalex.org/I94722563"],"apc_list":null,"apc_paid":null,"fwci":0.2959,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.59363503,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"324","last_page":"331"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.7789999842643738,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.7789999842643738,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.7407000064849854,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.7085000276565552,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/operator","display_name":"Operator (biology)","score":0.7196703553199768},{"id":"https://openalex.org/keywords/absolute","display_name":"Absolute (philosophy)","score":0.6594518423080444},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.580479085445404},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4981834888458252},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4338514804840088},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3813214898109436},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.333914190530777},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1131613552570343},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10410234332084656}],"concepts":[{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.7196703553199768},{"id":"https://openalex.org/C2777487392","wikidata":"https://www.wikidata.org/wiki/Q481201","display_name":"Absolute (philosophy)","level":2,"score":0.6594518423080444},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.580479085445404},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4981834888458252},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4338514804840088},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3813214898109436},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.333914190530777},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1131613552570343},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10410234332084656},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5220/0010493103240331","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010493103240331","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Computer Supported Education","raw_type":"proceedings-article"},{"id":"pmh:oai:jyx.jyu.fi:123456789/75712","is_oa":false,"landing_page_url":"http://urn.fi/URN:NBN:fi:jyu-202105182981","pdf_url":null,"source":{"id":"https://openalex.org/S4306400563","display_name":"Jyv\u00e4skyl\u00e4 University Digital Archive (University of Jyv\u00e4skyl\u00e4)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I94722563","host_organization_name":"University of Jyv\u00e4skyl\u00e4","host_organization_lineage":["https://openalex.org/I94722563"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"A4"}],"best_oa_location":{"id":"doi:10.5220/0010493103240331","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010493103240331","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Computer Supported Education","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2498348907","https://openalex.org/W4237736158","https://openalex.org/W2985905814","https://openalex.org/W2262959435","https://openalex.org/W4229515626","https://openalex.org/W3202488475","https://openalex.org/W4246922841","https://openalex.org/W2319999480","https://openalex.org/W2536135945","https://openalex.org/W2728714032"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2],"approach":[3],"and":[4,26,36,108,138],"a":[5,37,150],"tool":[6,20,114,145,173],"for":[7,45],"automatically":[8],"providing":[9],"feedback":[10],"on":[11,152,168],"solutions":[12],"that":[13,28,48,62,73],"involve":[14],"complicated":[15],"reasoning":[16],"patterns.":[17],"Currently":[18],"the":[19,32,101,113,117,169,182],"supports":[21],"linear":[22],"systems":[23],"of":[24,40],"equations":[25],"inequations":[27],"may":[29,64],"also":[30,177],"contain":[31],"absolute":[33],"value":[34],"operator":[35],"restricted":[38],"form":[39],"rational":[41],"functions.":[42],"This":[43,128],"suffices":[44],"designing":[46],"problems":[47],"are":[49],"laborious":[50],"to":[51,84,87,94,99,115,176],"solve":[52,106],"with":[53,75],"standard":[54,133],"mechanical":[55],"procedures,":[56],"but":[57,161],"much":[58],"easier":[59],"using":[60],"short-cuts":[61],"students":[63,86],"find":[65],"by":[66,131],"creative":[67],"thinking.":[68],"Earlier":[69],"research":[70],"has":[71,146,158],"found":[72],"struggling":[74],"important":[76],"mathematics":[77],"promotes":[78],"conceptual":[79],"development.":[80],"Our":[81],"goal":[82],"is":[83,93,163,174],"encourage":[85],"such":[88],"struggling.":[89],"A":[90],"crucial":[91],"feature":[92],"give":[95],"them":[96],"great":[97],"freedom":[98],"choose":[100],"paths":[102],"via":[103],"which":[104],"they":[105],"problems,":[107],"at":[109],"any":[110,166],"time":[111],"ask":[112],"check":[116],"work":[118],"done":[119],"so":[120],"far,":[121],"no":[122],"matter":[123],"what":[124],"path":[125],"was":[126,129],"chosen.":[127],"implemented":[130],"adopting":[132],"notation":[134],"from":[135],"mathematical":[136],"logic,":[137],"developing":[139],"some":[140],"new":[141],"logical":[142],"notation.":[143],"The":[144,172],"been":[147],"used":[148],"in":[149,181],"course":[151],"elementary":[153],"universi":[154],"ty-level":[155],"mathematics.":[156],"It":[157],"worked":[159],"reliably,":[160],"there":[162],"not":[164],"yet":[165],"statistics":[167],"pedagogical":[170],"merits.":[171],"expected":[175],"support":[178],"quadratic":[179],"(in)equations":[180],"near":[183],"future.":[184]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}