Decidability of the Membership Problem for 2×2 integer matrices.

Igor Potapov Pavel Semukhin

Published in: CoRR (2016)

Keyphrases

totally unimodular
description logics
singular value decomposition
query answering
data sets
convex hull
mixed integer
positive definite
matrix representation
integer valued
artificial intelligence
floating point
covariance matrices
singular values
decision procedures
extreme points
binary matrix
database