Sign in

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