2 papers
cs.SC2026
When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study
Madalina Erascu, Johannes Middeke
We present an experimental evaluation of automatically generated polynomial symmetry breaking constraints for integer linear programs. Starting from the method that we introduced a…
cs.SC2025
Hypergeometric Solutions of Linear Difference Systems
Moulay Barkatou, Mark van Hoeij, Johannes Middeke +1
We extend PetkovÅ¡ek's algorithm for computing hypergeometric solutions of scalar difference equations to the case of difference systems , with $M \in {\rm GL}_n(C(x))…