Login / Signup

REDLOG: computer algebra meets computer logic.

Andreas DolzmannThomas Sturm
Published in: SIGSAM Bull. (1997)
Keyphrases
  • computer algebra
  • theorem prover
  • automated theorem provers
  • computer algebra systems
  • search engine
  • computer technology
  • computer controlled
  • model checking
  • personal computer
  • computer software