Login / Signup

Ascertaining Mathematical Theorems.

Roy L. McCaslandAlan BundyPatrick F. Smith
Published in: Calculemus (2005)
Keyphrases
  • neural network
  • knowledge base
  • artificial neural networks
  • digital topology
  • data mining
  • genetic algorithm
  • mathematical expressions