Naive Fracterm Calculus.

Jan A. Bergstra John V. Tucker

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

Keyphrases

automated deduction
automated theorem proving
neural network
formal language
computer algebra
information retrieval
decision trees
learning environment
theorem proving