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…

This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received…

This investigation concerns two questions: (i) is simple educational programming with children, compared to working on mathematical tasks, more effective in increasing scores in mathematical abilities, spatial awareness and working memory? (ii) is educational programming on a digital device, compared to similar paper and pencil programming…

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,…

Learner centred design methods highlight the importance of involving the stakeholders of the learning process (learners, teachers, educational researchers) at all stages of the design of educational applications and of refining the design through an iterative prototyping process. These methods have been used successfully when designing systems…

Describes Mathwise, a courseware delivery environment developed by the United Kingdom Mathematics Courseware Consortium, whose Courseware Manager provides a protocol for integrating courseware materials from a variety of authors using a variety of software authoring tools. Modules, leaflets and cross-referencing, comparisons with other hypertext…

Discusses the use of computers in undergraduate mathematics. Highlights include external software, including spreadsheets and theorem provers; computer generated assessment; multimedia software; computer programming languages; geometric visualization tools; computer algebra systems; and examples from the United States, the United Kingdom, and…