A Formally Verified Geometric Modelling Core.

Catherine Dubois Jean-Marc Mota

Published in: Software Engineering Research and Practice (2006)

Keyphrases

geometric reasoning
data sets
decision making
database systems
similarity measure
multi agent
learning environment
expert systems
geometric constraints