Mathematical Theory Exploration in Theorema: Reduction Rings.

Alexander Maletzky

Published in: CICM (2016)

Keyphrases

mathematical theory
general theory
primal sketch
image processing
computational model
mathematical models
data structure
uncertain information
high level