Login / Signup

Improving Your CASH Flow: The Computer Algebra SHell.

Christopher BrownHans-Wolfgang LoidlJost BertholdKevin Hammond
Published in: IFL (2010)
Keyphrases
  • computer algebra
  • cash flow
  • theorem prover
  • growth rate
  • machine learning
  • automated theorem provers
  • fault diagnosis
  • computer algebra systems