Synthetic Fracterm Calculus.

Jan A. Bergstra John V. Tucker

Published in: J. Univers. Comput. Sci. (2024)

Keyphrases

computer algebra
neural network
multiscale
search algorithm
real scenes
proof procedure
real images are presented