Uses Made of Computer Algebra in Physics.

H. Ian Cohen John P. Fitch

Published in: J. Symb. Comput. (1991)

Keyphrases

computer algebra
theorem prover
computer science
artificial intelligence
computer algebra systems
automated theorem provers
information retrieval
image processing
three dimensional
multiscale
pattern recognition
evolutionary algorithm
qualitative physics