Ulrich Miller

• Rigorous Numerics Using Conley Index Theory