As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

This paper presents a series of basic computational problems that are mathematically and/or graphically appealing, and provides an idea of places one might go in trying to understand what is happening, integrating mathematics, computation, and graphics. The real point of this paper is to make a case, through those examples, for computation as an…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

Epidemiological models have enhanced relevance because of the COVID-19 pandemic. In this note, we emphasize visual tools that can be part of a learning module geared to teaching the SIR epidemiological model, suitable for advanced undergraduates or beginning graduate students in disciplines where the level of prior mathematical knowledge of…

The objective of this research is to study the "Scratch" programming language as a didactic tool to teach functions. The introduction of didactic tools allowing comprehension in simple and attractive ways is required. Given the traditional teaching/learning system, it is necessary to organize participatory and collaborative dynamic…

This quantitative research aims to analyze the design and implementation of the Web Application on the educational process of the Linear Function (WALF) considering the TPACK (Technological Pedagogical and Content Knowledge) model and data science. The sample consists of 45 students who studied the Basic Math course at a Mexican university during…

The 2016 Guidelines for Assessment and Instruction in Statistics Education (GAISE) College Report emphasized six recommendations to teach introductory courses in statistics. Among them: use of real data with context and purpose. Many educators have created databases consisting of multiple datasets for use in class; sometimes making hundreds of…

This paper analyzed Scratch projects developed by undergraduate students. The sample consisted of 22 child development students (18 women and four men) in the 2018-2019 academic year. The study adopted an action research design within the scope of a course titled "Teaching Science and Mathematics in Preschool Education." The research was…

Early exposure to data science skills, such as relational databases, is essential for students in statistics as well as many other disciplines in an increasingly data driven society. The goal of the presented pedagogy is to introduce undergraduate students to fundamental database concepts and to illuminate the connection between these database…

The article introduces a software application (MATH) supporting an education of Applied Mathematics, with focus on Numerical Mathematics. The MATH is an easy to use tool supporting various numerical methods calculations with graphical user interface and integrated plotting tool for graphical representation written in Qt with extensive use of Qwt…

Speech technology--especially automatic speech recognition--has now advanced to a level where it can be of great benefit both to able-bodied people and those with various disabilities. In this paper we describe an application "TalkMaths" which, using the output from a commonly-used conventional automatic speech recognition system,…

Readers will find several papers that address high-level issues in the use of technology in education, for example architecture and design frameworks for building online education materials or tools. Several other chapters report novel approaches to intelligent tutors or adaptive systems in educational settings. A number of chapters consider many…

These proceedings contain the papers of the 10th International Conference on Mobile Learning 2014, which was organised by the International Association for Development of the Information Society, in Madrid, Spain, February 28-March 2, 2014. The Mobile Learning 2014 International Conference seeks to provide a forum for the presentation and…