Login / Signup
Computer Algebra and its Applications: Where are we Going?
Andrew M. Odlyzko
Published in:
GI Jahrestagung (1996)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
random variables