Gröbner Bases in Type Theory.

Thierry Coquand Henrik Persson

Published in: TYPES (1998)

Keyphrases

numerically stable
theoretical framework
decision trees
general theory
data mining
multiscale
decision theory