Abstract
We have made the implementation of symbolic computation programs which can derive identity relations for arbitrarily given mathematical expressions. Simulations of relatively easy several concrete examples have been shown to run within practical speeds.
Citation
Akira Nakamura. "Derivations of Identities by Symbolic Computation." Japan J. Indust. Appl. Math. 23 (3) 315 - 339, October 2006.
Information
