SYPAC: a pascal based computer algebra system for micro-computers.

Robert-Michel di Scala

Published in: SIGSAM Bull. (1982)

Keyphrases

computer algebra
theorem prover
computer systems
computer algebra systems
computer technology
machine learning
artificial intelligence
database
expert systems
object detection
image sequences
search engine
personal computer
turing test
genetic algorithm
recognizing textual entailment
electro mechanical systems