Using a Template Engine as a Computer Algebra Tool.

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

Published in: Program. Comput. Softw. (2021)

Keyphrases

computer algebra
template matching
software tools
theorem prover
three dimensional
database
databases
search algorithm
hidden markov models