Symbolic computation in relativity theory.

Malcolm A. H. MacCallum

Published in: EUROCAL (1987)

Keyphrases

theoretical framework
computational model
information retrieval
computer vision
website
relational databases
artificial neural networks
formal theory