Matematika percobaan

**Matematika percobaan** () adalah suatu pendekatan pada matematika di mana perhitungan dengan angka digunakan untuk meneliti objek matematika dan mengidentifikasi sifat-sifat dan pola-pola. Didefinisikan sebagai "cabang matematika yang berpusat pada kodifikasi dan transmisi pandangan-pandangan dalam komunitas matematika melalui penggunaan percobaan (baik dalam artian Galilean, Baconian, Aristotelian atau Kantian) ekplorasi konjektur-konjektur dan kepercayaan-kepercayaan yang lebih informal serta analisis cermat dari data yang diperoleh dalam upaya itu."

## Tujuan dan penggunaan
Tujuan matematika percobaan adalah "untuk menghasilkan pemahaman dan pandangan; untuk menghasilkan dan memastikan atau menghadapi konjektur-konjektur; dan umumnya membuat matematika lebih dapat diraba, lebih hidup dan menyenangkan baik baik periset profesional atau pemula".

Penggunaan matematika percobaan dapat didefinisikan sebagai berikut:

# Memperoleh pandangan dan intuisi.
# Menemukan pola dan hubungan baru.
# Menggunakan tayangan grafik untuk mengajukan prinsip-prinsip matematika yang mendasarinya.
# Menguji dan terutama menentukan kebenaran konjektur-konjektur.
# Menelusuri hasil yang mungkin untuk melihat apakah berharga untuk dibuktikan secara formal.
# Mengajukan pendekatan-pendekatan pada bukti formal.
# Menggantikan derivatisasi panjang dengan tangan dengan derivatisasi menggunakan komputer.
# Memastikan secara analitis hasil-hasil yang diturunkan.

## Aplikasi dan contoh
Aplikasi dan contoh-contoh matematika percobaan termasuk:

* Mencari contoh untuk melawan suatu konjektur
** Roger Frye menggunakan matematika percobaan untuk menemukan contoh terkecil yang melawan "Konjektur Euler mengenai jumlah pangkat-pangkat".

* Menemukan contoh-contoh baru bilangan-bilangan atau objek-objek dengan sifat-sifat tertentu
** Pencarian bilangan prima Mersenne dengan internet secara luas berupaya menemukan bilangan prima Mersenne yang baru.

## Pengguna
Para ahli matematika dan sains komputer berikut telah memberikan kontribusi signifikan pada bidang matematika percobaan:

* Fabrice Bellard
* David H. Bailey
* Jonathan Borwein
* David Epstein
* Helaman Ferguson
* Ronald Graham
* Thomas Callister Hales
* Donald Knuth
* Clement Lam
* Oren Patashnik
* Simon Plouffe
* Eric Weisstein
* Doron Zeilberger
* A.J. Han Vinck

## Lihat pula
* Integral Borwein
* Bukti yang dibantu komputer
* Bukti dan Bantahan
* ''Experimental Mathematics'' (journal)
* Institute for Experimental Mathematics

## Referensi

## Pranala luar
* Experimental Mathematics (Journal)
* Centre for Experimental and Constructive Mathematics (CECM) pada Simon Fraser University
* Collaborative Group for Research in Mathematics Education  pada University of Southampton
* Recognizing Numerical Constants  by David H. Bailey and Simon Plouffe
* Psychology of Experimental Mathematics
* Experimental Mathematics Website (Links and resources)
* An Algorithm for the Ages: PSLQ, A Better Way to Find Integer Relations (Alternative link )
* Experimental Algorithmic Information Theory
* Sample Problems of Experimental Mathematics by David H. Bailey and Jonathan M. Borwein
* Ten Problems in Experimental Mathematics  by David H. Bailey, Jonathan M. Borwein, Vishaal Kapoor, and Eric W. Weisstein
* Institute for Experimental Mathematics  pada University of Duisburg-Essen