This paper describes Alkaline, a size-reduced version of Kyber, which has recently been announced as a prototype NIST standard for post-quantum public-key cryptography. While not as simple as RSA, I believe that Alkaline can be used in an undergraduate classroom to effectively teach the techniques and principles behind Kyber and post-quantum…

The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in contemporary…

Using data from an existing pre-algebra computer-based tutor, we analyzed the covariance of item-types with the goal of describing a more effective way to assign skill labels to item-types. Analyzing covariance is important because it allows us to place the skills in a related network in which we can identify the role each skill plays in learning…

This paper reports on part of a wider study on the teaching and learning of the conventions of formal algebraic notation. Through the analysis of paper tasks given to teachers I argue that not only does the inherent mathematical structure have an effect on the way in which an equation is manipulated but also the visual impact of notation itself.…

Given its important role in mathematics as well as its role as a gatekeeper to future educational and employment opportunities, algebra has become a focal point of both reform and research efforts in mathematics education. Understanding and using algebra is dependent on understanding a number of fundamental concepts, one of which is the concept of…