Sign in

Blends in Maple.

Robert M. CorlessErik J. Postma
Published in: MC (2020)
Keyphrases
  • computer algebra systems
  • solving problems
  • artificial intelligence
  • theorem prover
  • computer algebra
  • high performance computing
  • software package