Computer Algebra and the World Wide Web.

Anthony C. Hearn

Published in: DISCO (1996)

Keyphrases

computer algebra
theorem prover
computer algebra systems
researching on the internet
artificial intelligence
web pages
data analysis
web information
automated theorem provers
multimedia
training data
cooperative
social media
software engineering