Załóżmy, że mam funkcję o wartościach rzeczywistych niektórych zmiennych które chcę ocenić liczbowo. Zasadniczo wzór na może zawierać produkty, racjonalności, funkcje transcendentalne itp. I będzie musiał długo badać analityczną stabilność numeryczną. Albo będzie to przynajmniej czasochłonne, aby zrobić to w praktyce. Załóżmy, że nie mam krótszego odpowiednika ze stabilnością gwarantowaną. Czy istnieje metodyczna procedura analizy stabilności numerycznej. Myślę o porównaniu go z wynikami arbitralnej precesji uzyskanymi za pomocą komputerowego systemu algebry. Powiedzmy, że funkcja zostanie zaimplementowana w języku C przy użyciu funkcji stdlib i pojedynczej lub podwójnej precyzji. Jakie ilości powinienem porównać, aby oszacować jakość aproksymacji przy skończonej prewencji? Jak określić wartości krytyczne zmiennych? Jak mogę wybrać kompilator i optymalizacje kompilatora, aby inne osoby mogły łatwo odtworzyć wyniki? ... Wiem, że ustawienie problemu jest prawdopodobnie ogólne, aby dać dobre odpowiedzi. Ale nadal uważam, że jest to powszechny problem w informatyce i zastanawiam się, czy istnieją odniesienia, które proponują standardy przeprowadzenia takiej analizy.