A System for Computing and Reasoning in Algebraic Topology.

Jónathan Heras Vico Pascual Julio Rubio

Published in: Calculemus/MKM (2011)

Keyphrases

reasoning process
automated reasoning
qualitative spatial
reasoning systems
meta level
qualitative reasoning
legal reasoning
knowledge base
higher order
spatial reasoning
knowledge representation
multiscale
topology preserving
consistency checking
analogical reasoning
algebraic structure
data sets