Какие методы применяются для оценки точности вычислений в современных компьютерных системах?

Некоторые методы, которые применяются для оценки точности вычислений в современных компьютерных системах:

• Автоматическое выполнение оценок погрешности. habr.com Например, использование библиотеки XNumPy, которая позволяет автоматически определять, является ли результат надёжным или его следует отбросить. habr.com
• Оценка погрешностей снизу и сверху. habr.com При оценке снизу части результатов, помеченные как неточные, не имеют смысла и не должны интерпретироваться. habr.com При оценке сверху данные, помеченные как неточные, могут иметь некоторые вычислительные ошибки, в то время как все остальные данные точны. habr.com
• Аналитический учёт погрешностей. dzen.ru При умножении и делении относительная погрешность результата равна сумме относительных погрешностей исходных чисел. dzen.ru Такой учёт ориентирован на худший случай. dzen.ru
• Статистическая оценка погрешностей. dzen.ru Её применяют при большом объёме вычислений. dzen.ru
• Обобщённый вычислительный эксперимент. sciencejournals.ru Позволяет одновременно рассчитывать одну и ту же задачу с разными входными данными на основе параллельных технологий в режиме многозадачности. sciencejournals.ru
• Сравнение с эталонным по точности (или аналитическим) решением. sciencejournals.ru
• Анализ асимптотик решения, возникающих при последовательном измельчении расчётной сетки. sciencejournals.ru