Giả sử tôi có một hàm có giá trị thực của một số biến x i mà tôi muốn đánh giá bằng số. Nói chung, công thức cho f có thể chứa các sản phẩm, tính hợp lý, chức năng trancendental, v.v. và sẽ còn lâu để nghiên cứu tính ổn định số của nó một cách phân tích. Hoặc ít nhất sẽ tốn thời gian để làm điều đó trong thực tế. Giả sử tôi không có tương đương ngắn hơn với độ ổn định của guaruanteed. Có một quy trình phương pháp để phân tích sự ổn định số của f. Tôi nghĩ đến việc so sánh nó với các kết quả phân tích tùy ý thu được bằng cách sử dụng hệ thống đại số máy tính. Nói rằng hàm sẽ được thực hiện trong C bằng cách sử dụng các hàm stdlib và độ chính xác đơn hoặc kép. Những đại lượng nào tôi nên so sánh để định lượng chất lượng của xấp xỉ ở giới hạn hữu hạn? Làm cách nào để xác định giá trị tới hạn của các biến? Làm cách nào tôi có thể chọn trình biên dịch và tối ưu hóa trình biên dịch để người khác có thể dễ dàng tạo lại kết quả? ... Tôi biết rằng thiết lập vấn đề có lẽ là chung chung để đưa ra câu trả lời tốt. Nhưng tôi vẫn nghĩ rằng đây là một vấn đề phổ biến trong khoa học máy tính và tự hỏi liệu có tài liệu tham khảo nào đề xuất các tiêu chuẩn để thực hiện phân tích như vậy không.