A visual, computational object language for mathematics

1999

Phillip Kent

in: Visual representations and interpretations, Berlin,