The Scratchpad II Computer Algebra Language and System.

Robert S. Sutor

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

computer algebra
programming language
theorem prover
natural language
computational linguistics
computer algebra systems
language learning
operational semantics
search algorithm
object oriented
general purpose
graphical models
language processing
specification language