Posso and OpenMath
Slides presented at the Second OpenMath Workshop by Carlo Traverso.