A remark on the proposed syllabus for an AMS short course on computer algebra.

Alkiviadis G. Akritas

Published in: SIGSAM Bull. (1980)

Keyphrases

computer algebra
theorem prover
computer algebra systems
website
neural network
search engine
image sequences
bayesian networks
search algorithm
mobile devices
management system
semi supervised
inference rules