Teaching programming for mathematical scientists

J Betteridge, EYS Chan, RM Corless… - … Education in the Age of …, 2022 - Springer
Over the past 30 years or so, the authors have been teaching various programming for
mathematics courses at our respective universities, as well as incorporating computer …

Teaching them early: formal methods in school

F Moller, L O'Reilly, S Powell, C Denner - International Workshop on …, 2019 - Springer
In this paper, we describe a programme of school engagement aimed at instilling a
discipline of computational thinking within pupils before they embark on a university course …

Teaching discrete mathematics to computer science students

F Moller, L O'Reilly - Formal Methods Teaching Workshop, 2019 - Springer
Discrete Mathematics is an inevitable part of any undergraduate computer science degree
programme. However, computer science students typically find this to be at best a necessary …

[PDF][PDF] On teaching discrete mathematics to freshman computer science students

F Moller, L O'Reilly - Journal of Higher Education Theory and Practice, 2019 - core.ac.uk
Discrete Mathematics is an inevitable part of any undergraduate computer science degree
programme. However, today's computer science student typically finds this to be at best a …

[PDF][PDF] Teaching Mathematics in a Mechanized Environment

RM Corless - rcorless.github.io
There have been arguments for at least fifty years about this. Maybe the best paper on the
subject is Bruno Buchberger's 1990 paper “Should Students Learn Integration Rules?”[Link] …

Computational Discovery with Newton Fractals, Bohemian Matrices, & Mandelbrot Polynomials

NJ Calkin, E Chan, RM Corless - arxiv preprint arxiv:2109.03765, 2021 - arxiv.org
The authors have been using a largely algebraic form of``computational discovery''in various
undergraduate classes at their respective institutions for some decades now to teach pure …