Automata-based symbolic representations of polyhedra

DOI10.1007/978-3-642-28332-1_2MaRDI QIDQ2890177zbMATH OpenOpenAlexFDO

Authors B. Boigelot, Julien Brusten, Jean-François Degbomont

Publication date 8 June 2012

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28332-1_2

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45)

Recommendations

• Efficient symbolic representation of convex polyhedra in high-dimensional spaces
• scientific article; zbMATH DE number 1303061
• scientific article; zbMATH DE number 1948398
• Polynomial representations of polyhedra
• scientific article; zbMATH DE number 1670871

Cited in

(5)

• scientific article; zbMATH DE number 1670871 (Why is no real title available?)
• scientific article; zbMATH DE number 1303061 (Why is no real title available?)
• Theories of real addition with and without a predicate for integers
• Decidability of Definability Issues in the Theory of Real Addition
• Efficient symbolic representation of convex polyhedra in high-dimensional spaces

This page was built for publication: Automata-based symbolic representations of polyhedra

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