Using a template engine as a computer algebra tool.

Migran N. Gevorkyan Anna V. Korolkova Dmitry S. Kulyabov

Published in: CoRR (2021)

Keyphrases

computer algebra
theorem prover
databases
template matching
genetic algorithm
computer vision
pairwise
probabilistic model
input image
graphical models
matching algorithm
visualization tool
script language
computer algebra systems