Computer algebra in physical research of Joint Institute for Nuclear Research.

R. N. Fedorova Vladimir P. Gerdt N. N. Govorun V. P. Shirikov

Published in: EUROCAL (1987)

Keyphrases

computer algebra
theorem prover
computer algebra systems
artificial intelligence
artificial neural networks
information sciences
database
genetic algorithm
probability distribution
joint optimization
joint estimation
automated theorem provers