Using Formal Concept Analysis in Mathematical Discovery.

Simon Colton Daniel Wagner

Published in: Calculemus/MKM (2007)

Keyphrases

scientific discovery
mathematical expressions
search engine
knowledge discovery
real time
data mining
discovery process
databases
cooperative
natural language
information technology