Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited).

Albert D. Rich David R. Stoutemyer

Published in: EUROSAM (1979)

Keyphrases

computer algebra
theorem prover
high speed
computer algebra systems
researchers and practitioners
computer science
relational databases
first order logic
parallel algorithm
computational power
invited talk
processing capabilities
physical design