Ball Arithmetic as a Tool in Computer Algebra.

Fredrik Johansson

Published in: MC (2019)

Keyphrases

computer algebra
theorem prover
real world
information retrieval
artificial intelligence
data sets
decision trees
expert systems