Switch to: References

Citations of:

Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm

In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications. pp. 341--360 (2010)

Add citations

You must login to add citations.
  1. Experimental Mathematics, Computers and the a Priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
    In recent decades, experimental mathematics has emerged as a new branch of mathematics. This new branch is defined less by its subject matter, and more by its use of computer assisted reasoning. Experimental mathematics uses a variety of computer assisted approaches to verify or prove mathematical hypotheses. For example, there is “number crunching” such as searching for very large Mersenne primes, and showing that the Goldbach conjecture holds for all even numbers less than 2 × 1018. There are “verifications” of (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   1 citation