Geometry for Computer Graphics: Formulae, Examples and Proofs