-calculus.

Ariel Arbiser Fairouz Kamareddine Alejandro Ríos

Published in: Log. J. IGPL (2007)

Keyphrases

algebraic structure
computer algebra
neural network
machine learning
metadata
multiscale
search algorithm
evolutionary algorithm
proof procedure
automated theorem proving