Dynamic Proof Pages.

Carst Tankink James McKinna

Published in: MathWikis@ITP (2011)

Keyphrases

search engine
information systems
dynamic content
dynamically generated
dynamically changing
website
web services
clustering algorithm
database systems
search algorithm
artificial neural networks
evolutionary algorithm
information retrieval systems
dynamic environments
theorem proving
web pages
database