Now showing items 1-3 of 3

    • Francy - an interactive discrete mathematics framework for GAP 

      Martins, Manuel Machado; Pfeiffer, Markus Johannes (Springer, 2018) - Conference item
      Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical ...
    • Proof, rigour and informality : a virtue account of mathematical knowledge 

      Tanswell, Fenner Stanley (University of St Andrews, 2017-06-22) - Thesis
      This thesis is about the nature of proofs in mathematics as it is practiced, contrasting the informal proofs found in practice with formal proofs in formal systems. In the first chapter I present a new argument against the ...
    • Student reasoning about the divergence of a vector field 

      Baily, Charles; Astolfi, Cecilia (American Association of Physics Teachers, 2015-04-28) - Conference item
      Expanding our knowledge of student difficulties in advanced undergraduate electromagnetism is essential if we are to develop effective instructional interventions. Drawing on an analysis of course materials, in-class ...