Equivariant lattice generators and Markov bases

DOI10.1145/2608628.2608646zbMath1325.68287arXiv1401.0397OpenAlexW2010784386MaRDI QIDQ3452404

Anton Leykin, Robert Krone, Thomas Kahle

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.0397

zbMATH Keywords

integer latticetoric idealequivariant Markov basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomials in number theory (11C08) Contingency tables (62H17)

Related Items (4)

Invariant Chains in Algebra and Discrete Geometry ⋮ Lifting Markov bases and higher codimension toric fiber products ⋮ Corrigendum to: ``Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals ⋮ Polyhedra and parameter spaces for matroids over valuation rings

Uses Software

• Jordan

Cites Work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: Equivariant lattice generators and Markov bases