The Rôle of Benchmarking in Symbolic Computation (Position Paper).

James H. Davenport

Published in: SYNASC (2018)

Keyphrases

future directions
automated deduction
imperative programs
decision making
relational databases
mobile robot
knowledge representation
index structure
theorem proving