Symbolic Computation for Rankin-Cohen Differential Algebras: A Case Study.

Eleanor Farrington Emma Previato

Published in: Math. Comput. Sci. (2017)

Keyphrases

test bed
automated deduction
machine learning
image processing
case study
distributive lattices
data sets
multi agent
real time
neural network
genetic algorithm
feature selection
e learning
multiresolution
imperative programs