Development of a prototype intelligent web-based system for learning mathematics through an adaptive scenario
Abstract
Keywords
Full Text:
PDF (Українська)References
Bloom B. S. The 2 sigma problem: the search for methods of group instruction as effective as one-to-one tutoring. Educational Researcher, 1984, vol. 13, no. 6, pp. 4–16.
Woolf B. P. Building intelligent interactive tutors: student-centered strategies for revolutionizing e-learning. Morgan Kaufmann, Burlington, 2010. 480 p.
VanLehn K. The relative effectiveness of human tutoring, intelligent tutoring systems, and other tutoring systems. Educational Psychologist, 2011, vol. 46, no. 4, pp. 197–221. DOI: 10.1080/00461520.2011.611369.
Ma W., Adesope O. O., Nesbit J. C., Liu Q. Intelligent tutoring systems vs. other tutoring systems: a meta-analysis. Educational Psychologist, 2014, vol. 49, no. 4, pp. 249–266. DOI: 10.1080/00461520.2014.965891.
Corbett A. T., Anderson J. R. Knowledge tracing: modeling the acquisition of procedural knowledge. User Modeling and User-Adapted Interaction, 1995, vol. 4, no. 4, pp. 253–278. DOI: 10.1007/BF01099821.
Piech C., Bassen J., Huang J., Ganguli S., Sahami M., Guibas L. J., Guestrin C. Deep knowledge tracing. Advances in Neural Information Processing Systems 28 (NIPS 2015), 2015, pp. 505–513.
Brusilovsky P. Adaptive hypermedia. User Modeling and User-Adapted Interaction, 2001, vol. 11, pp. 87–110. DOI: 10.1023/A:1011143116306.
Shen S., Liu F., Weng H., Yu Z. A survey of knowledge tracing: models, variants, and applications. IEEE Transactions on Learning Technologies, 2021, vol. 14, no. 2, pp. 155–171. DOI: 10.1109/TLT.2021.3058565.
Sangwin C. Computer aided assessment of mathematics. Oxford University Press, Oxford, 2013. 314 p.
Greenhow M. Effective computer-aided assessment of mathematics: principles, practice and results. Teaching Mathematics and Its Applications, 2015, vol. 34, no. 3, pp. 117–137. DOI: 10.1093/teamat/hrv012.
de Moura L., Kong S., Avigad J., van Doorn F., von Raumer J. The Lean Theorem Prover (System Description). In: Automated Deduction – CADE-25. LNCS 9195. Cham, Springer, 2015, pp. 378–388. DOI: 10.1007/978-3-319-21401-6_26.
Hanna G., Larvor B., Yan X. K. Using the Proof Assistant Lean in Undergraduate Mathematics Classrooms. ZDM – Mathematics Education, 2024, vol. 56, no. 7, pp. 1517–1529. DOI: 10.1007/s11858-024-01577-9.
Chukhray, A., Stoliarenko, T., Yevdokymov, O., Demyanenko, V. Mozhlyvosti vykorystannya intelektualnykh navchalnykh system (ITS) u kursakh vyshchoi matematyky [Possibilities of using intelligent tutoring systems (ITS) in higher mathematics courses]. Vidkryti informatsiyni ta kompyuterni intehrovani tekhnolohiyi, 2025, no. 102, pp. 92–119. DOI: 10.32620/oikit.2024.102.07 (In Ukrainian).
Kulik A., Zeleniak O., Chukhray A., Prokhorov O., Yashyna O., Havrylenko O., Yevdokymov O., Torzhkov A., Zayarnyi O. The concept of intelligent training system for Ukrainian school final STEM exam preparation. System research and information technologies, 2025, pp. 125–138. DOI: 10.20535/SRIT.2308-8893.2025.2.09.
DOI: https://doi.org/10.32620/aktt.2026.2.06
