## A Linear algebra problem

I have this linear algebra problem in the context of quantum mechanics. Let $latex \mathbf{f}_\lambda$ be a family of linear operators so to each $latex \lambda \in \mathbf{R}$ we have a linear operator $latex \mathbf{f}_\lambda : \mathcal{H} \to \mathcal{H}$ where $latex \mathcal{H}$ is a complex vector space if one is [...]

## Dependent Types

This blog post will carry on from the previous one, and introduce dependent types. So what is a dependent type? To motivate the idea let's talk about equality. Remember that we interpret propositions as types, so if we have $latex x, y : A$ then the statement "$latex x$ is [...]

## Checking direction fields

I was recently asked about how to spot which direction field corresponds to which differential equation. I hope that by working through a few examples here we will get a reasonable intuition as to how to do this. Remember that a direction field is a method for getting the general [...]

## Group Theory in a Nutshell for Physicists, by Tony Zee – A review

I studied group theory for the first time around 15 years ago at the beginning of my PhD. There were six of us in the class, and I found it both a magical, as well as a mysterious subject. We had a great lecturer, but the way that the course [...]

## Radius of convergence of a series, and approximating polynomials

I hinted today that there were sometimes issues when you did a polynomial approximation, that if you tried to find the value of a function a long way from the region about which you're approximating, that sometimes you wouldn't be able to do it. This is related to an idea [...]

## Mathematical Modelling for Infectious Diseases – a course at UCT (19th-30th September 2016)

For anybody interested in the mathematics of infectious disease modelling, the following should be very interesting. A course on the application of mathematical modelling and computer simulation to predict the dynamics of infectious diseases to evaluate the potential impact of policy in reducing morbidity and mortality. (click to go to [...]

## Convex functions

What I learnt in class today: A convex function f:\mathbb R\to\mathbb R is defined as satisfying f(\lambda x + (1-\lambda )y)\leq \lambda f(x)+(1-\lambda )f(y) \quad \forall x,y\in \mathbb R,\ \forall \lambda \in [0, 1]. Thus, the shape of a convex function is like \smallsmile . An [...]

## Integration by Parts – Lightbulb Education

Integration by Parts

## Integration By Substitution – Lightbulb Education

Integration By Substitution