## A Language for describing the Mathematical Knowledge

by
Irene Schena

by
Irene Schena