Managing Automatically Formed Mathematical Theories.

Simon Colton Pedro Torres Paul A. Cairns Volker Sorge

Published in: MKM (2006)

Keyphrases

real time
real world
automatically generated
mathematical models
social networks
computer vision
user interface
semi automatically
mathematical modeling