Certification of the QR factor R and of lattice basis reducedness.

Published in: ISSAC (2007)

Keyphrases

third party
real world
singular value decomposition
concept lattice
information systems
case study
data structure
expert systems