-calculus.

Published in: Log. J. IGPL (2023)

Keyphrases

computer algebra
information retrieval
automated deduction
neural network
case study
algebraic structure
image processing
provably correct