Login / Signup

On Coherence in Computer Algebra.

Andreas Weber
Published in: DISCO (1993)
Keyphrases
  • computer algebra
  • theorem prover
  • automated theorem provers
  • computer algebra systems