Use of computer algebra in Hamiltonian calculations.

J. R. Banerjee A. J. Sobey H. Su John P. Fitch

Published in: Adv. Eng. Softw. (2008)

Keyphrases

computer algebra
theorem prover
automated theorem provers
computer algebra systems
artificial intelligence
inference rules
graph coloring