Prototypes For The Automatic Translation Of Computer Algebra Languages.

Denis Constales

Published in: DISCO (1990)

Keyphrases

computer algebra
theorem prover
expressive power
language independent
computer algebra systems
cross lingual
training data
grammatical inference
description languages
information retrieval
case study
probabilistic model
query translation
text summarization
highly expressive
arabic language