Detecting Implicit Indeterminates in Symbolic Computation.

Stephen M. Watt

Published in: SYNASC (2022)

Keyphrases

databases
automated deduction
knowledge base
trade off
user interface
dynamic environments
automatic detection