Login / Signup

The Weyl Computer Algebra Substrate.

Richard Zippel
Published in: DISCO (1993)
Keyphrases
  • computer algebra
  • theorem prover
  • magnetic recording
  • computer algebra systems
  • three dimensional
  • computer vision
  • multiresolution