Login / Signup
The computer algebra system SIMATH.
R. Böffgen
M. A. Reichert
Published in:
EUROCAL (1987)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
computer algebra systems
artificial intelligence