Login / Signup

Manipulation of recurrence relations in computer algebra.

Jacques Calmet
Published in: AAECC (1984)
Keyphrases
  • computer algebra
  • theorem prover
  • spatial relations
  • computer algebra systems
  • semantic relations
  • feature set
  • automated theorem provers