On Computational Complexity of Semilinear Varieties

DOI10.1093/LOGCOM/EXN017MaRDI QIDQ3549316zbMATH OpenOpenAlexFDO

Authors Enrico Marchioni

Publication date 22 December 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn017

zbMATH Keywords

computational complexityordered divisible abelian groupssemilinear functionstriangular normsuninormsvarieties

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Complexity of computation (including implicit computational complexity) (03D15) Varieties (08B99) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Affine consistency and the complexity of semilinear constraints
• Semilinear Program Feasibility
• Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
• Low growth equational complexity
• scientific article; zbMATH DE number 1304317

Cited in

(12)

• Complexity of computing the local dimension of a semialgebraic set
• On the complexity of semidefinite programs
• Proof search and co-NP completeness for many-valued logics
• Computational complexity of learning algebraic varieties
• On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$
• scientific article; zbMATH DE number 4001882 (Why is no real title available?)
• Polynomial-time computable approximation of families of semialgebraic sets and combinatorial complexity
• scientific article; zbMATH DE number 1080058 (Why is no real title available?)
• scientific article; zbMATH DE number 3995073 (Why is no real title available?)
• Low growth equational complexity
• scientific article; zbMATH DE number 7689792 (Why is no real title available?)
• The complexity of semilinear problems in succinct representation

This page was built for publication: On Computational Complexity of Semilinear Varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549316)