Login / Signup
The REDUCE system for computer algebra.
Martin L. Griss
Published in:
ACM Annual Conference (1975)
Keyphrases
</>
computer algebra
theorem prover
data sets
computer algebra systems
information retrieval
information systems
decision making
e learning
similarity measure
high quality
automated theorem provers