Symbolic Computation via Program Transformation.

Henrich Lauko Petr Rockai Jiri Barnat

Published in: ICTAC (2018)

Keyphrases

imperative programs
data sets
databases
database
search engine
social networks
information systems
three dimensional
evolutionary algorithm
hidden markov models
medical images
linear transformation
automated deduction