Wed 22 June 2016 Harmonic Divergence in Coq

Sat 16 May 2015 Differential Geometry of Maxwell's Equations

Tue 28 January 2014 Variational Equation

Mon 16 September 2013 Backward Error Analysis and Equivariance

Sat 05 August 2017 Exponential Families

Tue 05 April 2016 Companion Operator

Fri 09 October 2015 Type logic in Haskell

Sat 07 February 2015 Implementation of Norvig's spell checker in Haskell

Wed 31 December 2014 The Reader and Writer Monads and Comonads

Mon 15 July 2013 Modern LaTeX typesetting

Fri 10 April 2015 Testing in Python for Scientific Computing