Das Computer-Algebra-System SIMATH in der Zahlentheorie.

R. Böffgen B. Weis Horst Günter Zimmer

Published in: Innovative Informations-Infrastrukturen (1988)

Keyphrases

computer algebra
theorem prover
computer algebra systems
probabilistic model
knowledge representation
training data
bayesian networks
training set
probability distribution