-Calculus.

Published in: FLOPS (2010)

Keyphrases

neural network
automated deduction
real numbers
search engine
metadata
three dimensional
data structure
evolutionary algorithm
algebraic structure
computer algebra