Practical Algebraic Calculus Checker.

Mathias Fleury Daniela Kaufmann

Published in: Arch. Formal Proofs (2020)

Keyphrases

algebraic structure
real world
practical application
computer algebra
information retrieval
similarity measure
logic programs
practical problems