Farkas' Lemma and Motzkin's Transposition Theorem.

Ralph Bottesch Max W. Haslbeck René Thiemann

Published in: Arch. Formal Proofs (2019)

Keyphrases

approximate string matching
johnson lindenstrauss
von neumann
artificial intelligence
image sequences
multi agent systems
digital libraries
multiresolution
language model
approximation algorithms
digital topology