Login / Signup
Improving Your CASH Flow: The Computer Algebra SHell.
Christopher Brown
Hans-Wolfgang Loidl
Jost Berthold
Kevin Hammond
Published in:
IFL (2010)
Keyphrases
</>
computer algebra
cash flow
theorem prover
growth rate
machine learning
automated theorem provers
fault diagnosis
computer algebra systems