Computer algebra and Umbral Calculus.

Anne Bottreau Alessandro Di Bucchianico Daniel E. Loeb

Published in: Discret. Math. (1998)

Keyphrases

computer algebra
theorem prover
computer vision
automated theorem provers
information systems
database
databases
image processing
database systems
expert systems
hidden markov models
theorem proving
computer algebra systems