Related papers: Evaluating the use of e-assessment in a first-year…
Since its existence, the computer tool has often supported mathematicians, whether it is to implement an approximation method (numerical calculation of a root, of an integral, ...) or to simulate a phenomenon (geometric in nature,…
Formal mathematics is mathematics done within the framework of a formal logic. It offers major benefits to mathematicians as well as to computing professionals, engineers, and scientists who use mathematics in their work. The standard…
Modeling student learning and further predicting the performance is a well-established task in online learning and is crucial to personalized education by recommending different learning resources to different students based on their needs.…
Blended learning is generally defined as the combination of traditional face-to-face learning and online learning. This learning mode has been widely used in advanced education across the globe due to the COVID-19 pandemic's social distance…
It is nowadays common to consider that proof must be part of the learning of mathematics from Kindergarten to University1. As it is easy to observe, looking back to the history of mathematical curricula, this has not always been the case…
Online tools provide unique access to research students' study habits and problem-solving behavior. In MOOCs, this online data can be used to inform instructors and to provide automatic guidance to students. However, these techniques may…
Online education platforms enable teachers to share a large number of educational resources such as questions to form exercises and quizzes for students. With large volumes of available questions, it is important to have an automated way to…
We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logic-course for students in computer science or artificial…
The paper examines the construction of a course in mathematical analysis at a pedagogical university, aimed at developing the ability of future mathematics teachers to detect and solve problems related to finding proofs. Key words: teaching…
Math is the backbone of any field. Still its a night mare for many. Recent survey proves that many students become dropouts from their higher education due to math courses. ICT is an enchanted word in the contemporary educational…
Given the profound and uncritiqued changes that have been implemented in Aotearoa New Zealand education since the 1990s, this paper provides a critical commentary on the characterising features of the New Zealand mathematics' curriculum in…
The e-learning is an advanced version of traditional education. It is defined as a way of learning by using the communication mechanisms of modern computer networks and multimedia, including voice, image, and graphics and mechanisms to…
Since transition to higher education emerged as a research topic in the early 1970s, scholarly inquiry has focused on students without impairments and, what is more, little attention has been paid to the role of digital technologies. This…
There are numerous e-assessment systems devoted to specific domains under diverse license models. Cost, extensibility, and maintainability are relevant issues for an institution. Ease of use and inclusion into courses are educator's main…
The objective of this study is to determine Education in the Digital World from the lens of millennial learners. This also identifies the cybergogical implications of the issue with digital education as seen through the lens of the outlier.…
Compared with traditional face-to-face teaching, online learning is more convenient. However, during online classes, it is more difficult for teachers to observe all student reactions at the same time. Our system is designed to help…
This paper surveys and organizes research works in an under-studied area, which we call automated evaluation for student argumentative writing. Unlike traditional automated writing evaluation that focuses on holistic essay scoring, this…
ICT or Information and Communication Technology has pervaded the fields of education.In recent years the term e-learning has emerged as a result of the integration of ICT in the education fields. Following the application this technology…
Readability assessment is the task of evaluating the reading difficulty of a given piece of text. Although research on computational approaches to readability assessment is now two decades old, there is not much work on synthesizing this…
Student performance of virtual introductory physics class (calculus-based mechanics) is analyzed. A fully web-enhanced class was done synchronously. The analysis is done in two categories, averaging all mid-exams (or chapter exams) and…