TY - RPRT TI - Efficient automation of index pairs in computational Conley index theory AU - Rafael M. Frongillo AU - Rodrigo TreviƱo PY - 2011 DO - 10.1137/100808587 UR - https://arxiv.org/abs/1008.3918 ID - 1008.3918 ER -