Blends in Maple.

Robert M. Corless Erik J. Postma

Published in: MC (2020)

Keyphrases

computer algebra systems
solving problems
artificial intelligence
theorem prover
computer algebra
high performance computing
software package