Symbolic computation with sequences.

Marko Petkovsek

Published in: Program. Comput. Softw. (2006)

Keyphrases

hidden markov models
sequential patterns
automated deduction
long sequences
real sequences
three dimensional
multi agent
multi dimensional
sequence databases
sequence analysis
imperative programs