Computer Algebra Libraries for Combinatorial Structures.

Philippe Flajolet Bruno Salvy

Published in: J. Symb. Comput. (1995)

Keyphrases

computer algebra
theorem prover
digital libraries
multimedia
real time
information systems
case study
computer algebra systems
database
information retrieval
metadata
image structure
structural features