Algebraic Kernel System
Slides presented at the Second OpenMath Workshop by Rüdiger Loos.