Links to software for polyhedral computation:                            

back to lrs homepage