Algebraic Kernel System

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

AKS1

AKS2

AKS3

AKS4

AKS5

AKS6

AKS7

AKS8

AKS11

AKS12

AKS13