Lab for Automated Reasoning and Analysis LARA

Non-Redundant Integer Cones - Resources

This page describes our work on computing maximal non-redundant integer cone generators. The algorithms, implementations, and results are described in the following technical report:

Identifying Maximal Non-Redundant Integer Cone Generators

As part of this search we have also explicitly computed all non-redundant integer cones modulo row and column permutations:

For more background on this work, please consult the technical report as well as the following paper from CADE 2007:

nicg.txt · Last modified: 2011/12/14 14:42 by vkuncak