Linear Inequalities

MaRDI QIDQ7361012FDO

Authors Ralph Bottesch, Alban Reynaud, René Thiemann

Publication date 21 June 2019

Cites work

• Arctic Termination ...Below Zero
• Certification of complexity proofs using CeTA
• Certification of Termination Proofs Using CeTA
• From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
• Unnamed Publication
• Matrix interpretations for proving termination of term rewriting
• Matrix Theory
• On the complexity of integer programming

Cited in

(2)

• Duality of Linear Programming
• Linear Programming

This page was built for software: Linear Inequalities