Browsing by Subject "Q Science::QA Mathematics"
Now showing items 1-3 of 3
(The University of Nottingham., 2017-07-04)This is my Binaural Crosscorrelogram toolbox that I wrote to support my binaural research. It is made available on a CC-BY-NC-ND license in the hope that it is useful.
(The University of Nottingham, 2023-03-27)Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality".
(The University of Nottingham, 2018-05-07)These lesson plans were used for the data collection of a research study aimed at investigating how low achieving students learn fractions through an approach emphasizing visual representations.