Revision as of 04:45, 21 September 2019 edit Michael Hardy (talk \| contribs) Administrators 210,597 edits No edit summary ← Previous edit		Revision as of 04:47, 21 September 2019 edit undo Michael Hardy (talk \| contribs) Administrators 210,597 edits No edit summary Next edit →
Line 66: === Miranda test === * Miranda ~~Test~~test (Yap, Vegter, Sharma) == ''A priori'' certification methods == * Interval arithmetic (Moore, Arb, Mezzarobba) * Condition numbers (~~Beltran-Leykin~~Beltran–Leykin) === Interval arithmetic ===

Numerical certification: Difference between revisions