Building up hierarchical mathematical domains using functors in Theorema.

Wolfgang Windsteiger

Published in: Calculemus (1999)

Keyphrases

real world
three dimensional
hierarchical structure
hierarchical model
hierarchical decomposition
blocks world
real time
data sets
information systems
multiscale
multi agent
data structure
expert systems
application domains
hierarchical structures
mathematical expressions