Rational approximants to symmetric formal Laurent series.

M. Camacho Pablo González-Vera

Published in: Numer. Algorithms (1992)

Keyphrases

decision making
formal methods
database
databases
search engine
clustering algorithm
case study
relational databases
formal specification