zbMath1116.70019MaRDI QIDQ5394980
Tomasz Kapela
Publication date: 1 November 2006
zbMATH Keywords
Lohner algorithm; Krawczyk method; solution isolation
Mathematics Subject Classification ID
70F10: (n)-body problems