Toán học thực nghiệm là một cách tiếp cận toán học trong đó tính toán được sử dụng để điều tra các đối tượng toán học và xác định các thuộc tính và mẫu. Nó đã được định nghĩa là "nhánh toán học liên quan đến chính nó với việc mã hóa và truyền tải những hiểu biết trong cộng đồng toán học thông qua việc sử dụng thử nghiệm (theo nghĩa Galilean, Baconia, Aristoteles hoặc Kantian) về các phỏng đoán và niềm tin không chính thức hơn và phân tích cẩn thận dữ liệu thu được trong cuộc tìm kiếm này. " Như Paul Halmos đã bày tỏ: "Toán học không phải là một khoa học suy diễn. Đó là một sự sáo rỗng. Khi bạn cố gắng chứng minh một định lý, bạn không chỉ liệt kê các giả thuyết, và sau đó bắt đầu suy luận. Những gì bạn làm là thử và sai, thử nghiệm, phỏng đoán. Bạn muốn tìm hiểu sự thật là gì, và những gì bạn làm là về mặt tương tự như những gì một kỹ thuật viên phòng thí nghiệm làm. "