Some MACSYMA Programs for Solving Recurrence Relations.

Published in: ACM Trans. Math. Softw. (1978)

Keyphrases

automatic programming
semantic relations
artificial intelligence
temporal relations
information systems
reinforcement learning
background knowledge
combinatorial optimization
spatial relations
solving problems
binary relations