A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem.

Carsten Schneider

Published in: CoRR (2014)

Keyphrases

theoretical basis
general theory
artificial intelligence
probabilistic model
human computer interaction
theoretical framework
formal theory
databases
multiscale
data structure
conceptual framework