It has been defined as "that branch of mathematics that concerns itself ultimately with the codification and transmission of insights within the mathematical community through the use of experimental (in either the Galilean, Baconian, Aristotelian or Kantian sense) exploration of conjectures and more informal beliefs and a careful analysis of the data acquired in this pursuit.
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.
The objectives of experimental mathematics are "to generate understanding and insight; to generate and confirm or confront conjectures; and generally to make mathematics more tangible, lively and fun for both the professional researcher and the novice".
" 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".
The uses of experimental mathematics have been defined as follows: Gaining insight and intuition.
Penggunaan matematika percobaan dapat didefinisikan sebagai berikut: Memperoleh pandangan dan intuisi.
Discovering new patterns and relationships.
Menemukan pola dan hubungan baru.
Using graphical displays to suggest underlying mathematical principles.
Menggunakan tayangan grafik untuk mengajukan prinsip-prinsip matematika yang mendasarinya.
Exploring a possible result to see if it is worth formal proof.
Menelusuri hasil yang mungkin untuk melihat apakah berharga untuk dibuktikan secara formal.
Replacing lengthy hand derivations with computer-based derivations.
Menggantikan derivatisasi panjang dengan tangan dengan derivatisasi menggunakan komputer.
Applications and examples of experimental mathematics include: Searching for a counterexample to a conjecture Roger Frye used experimental mathematics techniques to find the smallest counterexample to Euler's sum of powers conjecture.
Aplikasi dan contoh-contoh matematika percobaan termasuk: Mencari contoh untuk melawan suatu konjektur Roger Frye menggunakan matematika percobaan untuk menemukan contoh terkecil yang melawan
Finding new examples of numbers or objects with particular properties The Great Internet Mersenne Prime Search is searching for new Mersenne primes.
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.
Borwein integral Computer-aided proof Proofs and Refutations Experimental Mathematics (journal) Institute for Experimental Mathematics Experimental Mathematics (Journal) Centre for Experimental and Constructive Mathematics (CECM) at Simon Fraser University Collaborative Group for Research in Mathematics Education at University of Southampton Recognizing Numerical Constants by David H. Bailey and Simon Plouffe Psychology of Experimental Mathematics Experimental Mathematics Website (Links and resources)
Para ahli matematika dan sains komputer berikut telah memberikan kontribusi signifikan pada bidang matematika percobaan: Integral Borwein Bukti yang dibantu komputer Bukti dan Bantahan Experimental Mathematics (journal) Institute for Experimental Mathematics Experimental Mathematics (Journal) Centre for Experimental and Constructive Mathematics (CECM) pada Simon Fraser University Collaborative Group for Research in Mathematics Education Diarsipkan 2007-12-29 di Wayback Machine.