{"id":"https://openalex.org/W7203752224","doi":"https://doi.org/10.26740/jomp.v6n2.p94-102","title":"Analysis of Artificial Intelligence Assisted Proof Process Through Principle of Mathematical Induction in Real Analysis Course","display_name":"Analysis of Artificial Intelligence Assisted Proof Process Through Principle of Mathematical Induction in Real Analysis Course","publication_year":2025,"publication_date":"2025-07-31","ids":{"openalex":"https://openalex.org/W7203752224","doi":"https://doi.org/10.26740/jomp.v6n2.p94-102"},"language":"en","primary_location":{"id":"doi:10.26740/jomp.v6n2.p94-102","doi":"https://doi.org/10.26740/jomp.v6n2.p94-102","is_oa":true,"landing_page_url":"https://doi.org/10.26740/jomp.v6n2.p94-102","pdf_url":"https://journal.unesa.ac.id/index.php/JOMP/article/download/42300/14020","source":{"id":"https://openalex.org/S5407023843","display_name":"Journal of Mathematical Pedagogy (JoMP)","issn_l":"2715-7458","issn":["2715-7458","2715-7466"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315220","host_organization_name":"State University of Surabaya","host_organization_lineage":["https://openalex.org/P4310315220"],"host_organization_lineage_names":["State University of Surabaya"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Pedagogy (JoMP)","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://journal.unesa.ac.id/index.php/JOMP/article/download/42300/14020","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055329209","display_name":"Isnawati Lujeng Lestari","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405282865","display_name":"Universitas Nahdlatul Ulama Pasuruan","ror":"https://ror.org/00k06ja33","country_code":"ID","type":"education","lineage":["https://openalex.org/I4405282865"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Isnawati Lujeng Lestari","raw_affiliation_strings":["Universitas Nahdlatul Ulama Pasuruan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitas Nahdlatul Ulama Pasuruan","institution_ids":["https://openalex.org/I4405282865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124149698","display_name":"Mayang Sari","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405282865","display_name":"Universitas Nahdlatul Ulama Pasuruan","ror":"https://ror.org/00k06ja33","country_code":"ID","type":"education","lineage":["https://openalex.org/I4405282865"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Mayang Sari","raw_affiliation_strings":["Universitas Nahdlatul Ulama Pasuruan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitas Nahdlatul Ulama Pasuruan","institution_ids":["https://openalex.org/I4405282865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088940668","display_name":"Gusti Uripno","orcid":"https://orcid.org/0009-0000-3929-9132","observed_orcids":["https://orcid.org/0009-0000-3929-9132"]},"institutions":[{"id":"https://openalex.org/I4405276598","display_name":"Universitas PGRI Ronggolawe","ror":"https://ror.org/05qxpt652","country_code":"ID","type":"education","lineage":["https://openalex.org/I4405276598"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Gusti Uripno","raw_affiliation_strings":["Universitas PGRI Ronggolawe"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitas PGRI Ronggolawe","institution_ids":["https://openalex.org/I4405276598"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043687383","display_name":"Siti Suprihatiningsih","orcid":"https://orcid.org/0000-0002-0131-0604","observed_orcids":["https://orcid.org/0000-0002-0131-0604"]},"institutions":[{"id":"https://openalex.org/I4405275178","display_name":"Universitas Katolik Santo Agustinus Hippo","ror":"https://ror.org/033e47b47","country_code":"ID","type":"education","lineage":["https://openalex.org/I4405275178"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Siti Suprihatiningsih","raw_affiliation_strings":["Universitas Katolik Santo Agustinus Hippo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitas Katolik Santo Agustinus Hippo","institution_ids":["https://openalex.org/I4405275178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004308094","display_name":"Firda Hariyanti","orcid":"https://orcid.org/0000-0001-6232-6063","observed_orcids":["https://orcid.org/0000-0001-6232-6063"]},"institutions":[{"id":"https://openalex.org/I4405282865","display_name":"Universitas Nahdlatul Ulama Pasuruan","ror":"https://ror.org/00k06ja33","country_code":"ID","type":"education","lineage":["https://openalex.org/I4405282865"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Firda Hariyanti","raw_affiliation_strings":["Universitas Nahdlatul Ulama Pasuruan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitas Nahdlatul Ulama Pasuruan","institution_ids":["https://openalex.org/I4405282865"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102977643","display_name":"Ebenezer Bonyah","orcid":"https://orcid.org/0000-0001-8763-6164","observed_orcids":["https://orcid.org/0000-0001-8763-6164","https://orcid.org/0000-0003-0808-4504"]},"institutions":[{"id":"https://openalex.org/I4387154669","display_name":"University of Skills Training and Entrepreneurial Development","ror":"https://ror.org/031d6ey43","country_code":"GH","type":"education","lineage":["https://openalex.org/I4387154669"]}],"countries":["GH"],"is_corresponding":false,"raw_author_name":"Ebenezer Bonyah","raw_affiliation_strings":["Akenten Appiah Menka University of Skills Training and Entrepreneurial Development, Kumasi, Ghana"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Akenten Appiah Menka University of Skills Training and Entrepreneurial Development, Kumasi, Ghana","institution_ids":["https://openalex.org/I4387154669"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8316,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.82096925,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"6","issue":"2","first_page":"94","last_page":"102"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14414","display_name":"Artificial Intelligence in Education","score":0.4578000009059906,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T14414","display_name":"Artificial Intelligence in Education","score":0.4578000009059906,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12522","display_name":"Mathematics Education and Pedagogy","score":0.4309000074863434,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.0560000017285347,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/artificial-intelligence-in-mathematics-education","display_name":"artificial intelligence in mathematics education","score":0.8130000233650208},{"id":"https://openalex.org/keywords/mathematical-induction","display_name":"mathematical induction","score":0.9120000004768372},{"id":"https://openalex.org/keywords/proof-construction","display_name":"proof construction","score":0.890999972820282},{"id":"https://openalex.org/keywords/real-analysis","display_name":"real analysis","score":0.6840000152587891},{"id":"https://openalex.org/keywords/mathematics-education-students","display_name":"mathematics education students","score":0.7689999938011169}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7716000080108643},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.7562999725341797},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5619000196456909},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5328999757766724},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.49410000443458557},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.4894999861717224},{"id":"https://openalex.org/C1911482","wikidata":"https://www.wikidata.org/wiki/Q854531","display_name":"Real analysis","level":2,"score":0.45559999346733093},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44929999113082886},{"id":"https://openalex.org/C2777552389","wikidata":"https://www.wikidata.org/wiki/Q1962728","display_name":"Course (navigation)","level":2,"score":0.43059998750686646},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.4115999937057495},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.39809998869895935},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3776000142097473},{"id":"https://openalex.org/C9991821","wikidata":"https://www.wikidata.org/wiki/Q858520","display_name":"Divisibility rule","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2955999970436096},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2858999967575073},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.28220000863075256},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C48164120","wikidata":"https://www.wikidata.org/wiki/Q4491893","display_name":"Concept learning","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C2776299755","wikidata":"https://www.wikidata.org/wiki/Q432449","display_name":"Carry (investment)","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C66783780","wikidata":"https://www.wikidata.org/wiki/Q1166625","display_name":"Mathematical problem","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.26740/jomp.v6n2.p94-102","doi":"https://doi.org/10.26740/jomp.v6n2.p94-102","is_oa":true,"landing_page_url":"https://doi.org/10.26740/jomp.v6n2.p94-102","pdf_url":"https://journal.unesa.ac.id/index.php/JOMP/article/download/42300/14020","source":{"id":"https://openalex.org/S5407023843","display_name":"Journal of Mathematical Pedagogy (JoMP)","issn_l":"2715-7458","issn":["2715-7458","2715-7466"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315220","host_organization_name":"State University of Surabaya","host_organization_lineage":["https://openalex.org/P4310315220"],"host_organization_lineage_names":["State University of Surabaya"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Pedagogy (JoMP)","raw_type":"journal-article"},{"id":"pmh:oai:journal.unesa.ac.id:article/42300","doi":null,"is_oa":true,"landing_page_url":"https://journal.unesa.ac.id/index.php/JOMP/article/view/42300","pdf_url":null,"source":{"id":"https://openalex.org/S5407023843","display_name":"Journal of Mathematical Pedagogy (JoMP)","issn_l":"2715-7458","issn":["2715-7458","2715-7466"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315220","host_organization_name":"State University of Surabaya","host_organization_lineage":["https://openalex.org/P4310315220"],"host_organization_lineage_names":["State University of Surabaya"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10.26740/jomp.v6n2","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.26740/jomp.v6n2.p94-102","doi":"https://doi.org/10.26740/jomp.v6n2.p94-102","is_oa":true,"landing_page_url":"https://doi.org/10.26740/jomp.v6n2.p94-102","pdf_url":"https://journal.unesa.ac.id/index.php/JOMP/article/download/42300/14020","source":{"id":"https://openalex.org/S5407023843","display_name":"Journal of Mathematical Pedagogy (JoMP)","issn_l":"2715-7458","issn":["2715-7458","2715-7466"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315220","host_organization_name":"State University of Surabaya","host_organization_lineage":["https://openalex.org/P4310315220"],"host_organization_lineage_names":["State University of Surabaya"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Pedagogy (JoMP)","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.9815999865531921,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320336199","display_name":"Direktorat Riset dan Pengabdian Masyarakat","ror":null},{"id":"https://openalex.org/F4320338223","display_name":"Direcci\u00f3 General de Recerca, Generalitat de Catalunya","ror":"https://ror.org/01gbnem66"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203752224.pdf","grobid_xml":"https://content.openalex.org/works/W7203752224.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W2475470844","https://openalex.org/W2944640061","https://openalex.org/W3046600270","https://openalex.org/W4220931175","https://openalex.org/W4390667178","https://openalex.org/W4391026353","https://openalex.org/W4395077451","https://openalex.org/W4395685166","https://openalex.org/W4400408779","https://openalex.org/W4401894003","https://openalex.org/W4402017021","https://openalex.org/W4404957452","https://openalex.org/W4406915986"],"related_works":["https://openalex.org/W4401894003","https://openalex.org/W7162754370","https://openalex.org/W7125925150","https://openalex.org/W4412376207","https://openalex.org/W7116797599","https://openalex.org/W7125151973","https://openalex.org/W4408511831","https://openalex.org/W4409608215","https://openalex.org/W7213903841","https://openalex.org/W7212159352"],"abstract_inverted_index":{"The":[0],"low":[1],"proficiency":[2],"of":[3,15,31,58,143,152],"Mathematics":[4],"Education":[5],"students":[6,49,62,79,115],"in":[7,64,68,116,132],"constructing":[8],"mathematical":[9,16,52],"proofs,":[10,120],"especially":[11],"using":[12],"the":[13,19,29,36,56,101,104,108,149],"principle":[14],"induction,":[17],"highlights":[18],"need":[20],"for":[21],"enhanced":[22],"learning":[23],"approaches.":[24],"One":[25,94],"promising":[26],"method":[27],"is":[28],"integration":[30],"Artificial":[32],"Intelligence":[33],"(AI)":[34],"into":[35],"proof":[37],"process":[38],"within":[39],"Real":[40,65],"Analysis":[41,66],"courses.":[42],"This":[43],"study":[44],"aims":[45],"to":[46],"describe":[47],"how":[48],"carry":[50],"out":[51],"induction":[53],"proofs":[54],"with":[55,148],"assistance":[57],"AI.":[59],"Ten":[60],"voluntary":[61],"enrolled":[63],"participated":[67],"an":[69],"initial":[70],"test":[71],"involving":[72],"divisibility":[73],"problem.":[74],"From":[75],"this":[76],"group,":[77],"two":[78],"were":[80],"selected":[81],"through":[82],"maximum":[83],"variation":[84],"sampling":[85],"based":[86],"on":[87],"their":[88,125],"answer":[89],"diversity":[90],"and":[91,123,137,157],"communication":[92],"skills.":[93],"student":[95],"employed":[96],"a":[97,129],"modulo-based":[98],"approach,":[99],"while":[100],"other":[102],"used":[103],"divisibility-definition":[105],"concept.":[106],"Overall,":[107],"results":[109],"demonstrate":[110],"that":[111],"AI":[112,127],"significantly":[113],"supports":[114],"understanding":[117],"problems,":[118],"planning":[119],"implementing":[121],"strategies,":[122],"revising":[124],"reasoning.":[126],"played":[128],"critical":[130],"role":[131],"concept":[133],"generation,":[134],"solution":[135],"evaluation,":[136,156],"embedded":[138],"reflection":[139],"across":[140],"each":[141],"stage":[142],"Polya\u2019s":[144],"problem-solving":[145],"framework,":[146],"combined":[147],"three":[150],"aspects":[151],"AI-assisted":[153],"proof:":[154],"construction,":[155],"revision":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-08-20T00:00:00"}