Indefinite integration as term rewriting: Integrals containing tangent.

Junrui Hu Y. Hou Albert D. Rich David J. Jeffrey

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

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
neural network
deductive databases
machine learning
probability distribution