Skip to main content

Questions tagged [experimental-mathematics]

Filter by
Sorted by
Tagged with
115 votes
3 answers
5k views

The number $\pi$ and summation by $SL(2,\mathbb Z)$

Let $f(a,b,c,d)=\sqrt{a^2+b^2}+\sqrt{c^2+d^2}-\sqrt{(a+c)^2+(b+d)^2}$. (it is the defect in the triangle inequality) Then, we discovered by heuristic arguments and then verified by computer that $$\...
Nikita Kalinin's user avatar
2 votes
0 answers
237 views

On the cardinality of the set of right-truncatable primes

We say that the (base ten) prime number $p=a_{n}a_{n-1}a_{n-2}\cdots a_{1}a_{0}$ is right-truncatable if all of the following numbers are prime: \begin{eqnarray*}a_{n},\\a_{n}a_{n-1},\\ a_{n}a_{n-1}...
José Hdz. Stgo.'s user avatar
10 votes
2 answers
647 views

Periodicity in iterated powers of sin, cos, exp

Given a complex number $z$, consider the sequence \begin{align*} a_0 & = 1\\ a_1 & = (cos(1))^z\\ a_n & = (cos(a_{n-1}))^z \end{align*} This question is about trying to understand ...
Niles's user avatar
  • 609
19 votes
6 answers
2k views

Which journals publish experimental results in pure maths?

All pure mathematicians know that the goal is to produce insight, rather than to simply obtain results. However, it might sometimes be of value to disseminate largely empirical work. In the same ...
2 votes
0 answers
266 views

Experimentation with partial Euler products

Richard Mathar $[1]\& [2]$ shows that \begin{align} &\zeta_{2}(s)\equiv\prod_{\Omega(n)=2}^{}\left(\dfrac{1}{1 - n^{s}}\right)^{-1}=\exp \left(\sum _{k=1}^n \frac{P(k s)^2+P(2 k s)}{2 k}\right)...
martin's user avatar
  • 1,903
3 votes
1 answer
585 views

Trying to prove a congruence for Stirling numbers of the second kind

This a repost of a question I asked at Stack Exchange, but I got no answer so far, so I am trying here, even though it may not suit the "research level" requirement. Proposition: When $n$ and $m$ are ...
René Gy's user avatar
  • 505
5 votes
1 answer
484 views

Many integral points on quartic models of elliptic curve via differences of squares

Pick fourth power free integer $n$ ($p^4$ doesn't divide $n$). Represent $n$ as difference of possibly negative integer squares $n=v_i^2-u_i^2$. The goal is to find quadratic polynomial with integer ...
joro's user avatar
  • 25.4k
282 votes
47 answers
110k views

Examples of unexpected mathematical images

I try to generate a lot of examples in my research to get a better feel for what I am doing. Sometimes, I generate a plot, or a figure, that really surprises me, and makes my research take an ...
12 votes
0 answers
605 views

Power series defined by Witt vectors / Teichmüller representatives of p-adics

Let $K$ be $\mathbb{Q}_p$ for some prime $p$ (or more generally an unramified extension $W(\mathbb{F}_q)$ of $\mathbb{Q}_p$). If $\xi \in K$, we can write it in a unique way in the form $\sum a_i p^i$...
Gro-Tsen's user avatar
  • 32.5k
5 votes
1 answer
1k views

Lines in image; are they significant to prime numbers if so how?

Amateur math question. I was playing around generating some 2D images, and wondered what it would look like if placed $P_{i}$ dots on a circle with diameter of $i$ for increasing values of $i$, where $...
spinkus's user avatar
  • 151
18 votes
0 answers
2k views

Distribution of digits of $pq$-adic idempotents (aka "automorphic numbers")

Let $p$ and $q$ be distinct primes. By the ring of $pq$-adic integers I mean the ring $\mathbb{Z}_{pq} := \varprojlim \mathbb{Z}/(pq)^n\mathbb{Z}$ which is obviously isomorphic to $\mathbb{Z}_p \...
Gro-Tsen's user avatar
  • 32.5k
25 votes
1 answer
744 views

"Harmonacci" recurrence and identities for $\pi$

While playing with something totally irrelevant I stumbled upon the recurrence: $$a_{n+1} = \frac{1}{a_n} + a_{n-1}$$ It turns out that given $a_0 = 1, a_1 = 1$, $$lim \frac{a_{2n}}{a_{2n-1}} = \...
Victor P's user avatar
  • 353
13 votes
1 answer
1k views

Connection between Infinite continued fractions, elliptic integrals and AGM

It is known that at $x=1$, the following continued fraction represents $\frac{4}{\pi}$ and can be approximated rapidly using Gauss' Arithmetic Geometric mean. $$C(x) = x + \frac{1^{2}}{2x + \frac{3^{...
Turbo's user avatar
  • 13.9k
25 votes
3 answers
2k views

Persistent homology of Gaussian fields in Euclidean space

If you generate points in $\mathbb R^n$ via a process that respects a Gaussian normal distribution, then compute the persistent homology / barcodes, to my eye something fairly regular seems to be ...
Ryan Budney's user avatar
  • 44.4k
7 votes
1 answer
494 views

Experimental mathematics: how are floating point equations discovered/converted to exact equations?

the 2005 AMS article/survey on experimental mathematics[1] by Bailey/Borwein mentions many remarkable successes in the field including new formulas for $\pi$ that were discovered via the PSLQ ...
vzn's user avatar
  • 529
43 votes
7 answers
4k views

Can pure mathematics harness citizen science?

Having just finished Michael Nielsen's book "Reinventing Discovery", I find myself wondering if there are ways that pure mathematics research can engage the public in the way that GalaxyZoo or Foldit ...
10 votes
5 answers
1k views

What is the theoretical interest of finding closed-form solutions of infinite series?

I was reading this when I came across Gourevitch's conjecture. My understanding is that solutions to these series are of practical interest. If one encounters such a series, being able to solve it ...
CHM's user avatar
  • 217
4 votes
4 answers
2k views

buffon needle experiment [closed]

Hi, what are the "best" values for lenght of needle (l) and distance between paralles (d) for an accurate approximation of pi? Does it have to be l-d-1.0 or ld? Thanx
spyros's user avatar
  • 51
37 votes
12 answers
3k views

Interesting conjectures "discovered" by computers and proved by humans?

There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite: Are there interesting conjectures "discovered" by computers and proved by humans? ...
20 votes
4 answers
2k views

Does the set of happy numbers have a limiting density?

A positive integer $n$ is said to be happy if the sequence $$n, s(n), s(s(n)), s(s(s(n))), \ldots$$ eventually reaches 1, where $s(n)$ denotes the sum of the squared digits of $n$. For example, 7 is ...
Dave R's user avatar
  • 856
31 votes
6 answers
2k views

Useful tricks in experimental mathematics

There are a few computational tricks which are useful in experimental mathematics. These tricks are mostly very elementary and often only given as exercices in books. A typical example is the ...
17 votes
1 answer
2k views

Why are Goldbach laggards biased towards $2 \bmod 6$?

For even $n$, let $g(n)$ be the number of ways to write $n$ as a sum of two primes $n=p+q$ with $p \le q$. Define $a_k$ to be the largest $n$ with $g(n)=k$. I would bet money that no-one will disprove ...
Aaron Meyerowitz's user avatar
3 votes
4 answers
810 views

What patterns have been measured in the graph of the number of two-prime-sum representations of even numbers?

There are remarkable patterns of density in the graph http://upload.wikimedia.org/wikipedia/commons/7/7c/Goldbach-1000000.png plotting the number of representations of even numbers up to a million as ...
John Bentin's user avatar
  • 2,437
2 votes
1 answer
295 views

A determinant involving only cyclotomic factors

Let $\alpha:\mathbb Z\longrightarrow \mathbb Z$ be a quadratic polynomial taking only integral values on the integers and consider the sequence of square-matrices with coefficients $x^{\alpha(i+j)}$ ...
Roland Bacher's user avatar
8 votes
2 answers
810 views

Modular congruences related to sums of Catalan numbers

I am curious if somebody can be helpful concerning the following experimental observation: There exist two rational sequences $\alpha_0,\alpha_1,\dots$ and $\beta_0,\beta_1,\dots$, both with values ...
Roland Bacher's user avatar
10 votes
4 answers
2k views

When Have Numerology and Computational Experimentation Been Successful?

When has numerology been successfully used in math and science? The Monstrous Moonshine conjecture led to a Fields medal for Borcherds. Balmer's formula for hydrogen spectra led to the Bohr model of ...
7 votes
2 answers
714 views

Infinite product experimental mathematics question.

A while ago I threw the following at a numerical evaluator (in the present case I'm using wolfram alpha) $\prod_{v=2}^{\infty} \sqrt[v(v-1)]{v} \approx 3.5174872559023696493997936\ldots$ Recently, ...
graveolensa's user avatar
156 votes
52 answers
24k views

Experimental mathematics leading to major advances

I would like to ask about examples where experimentation by computers has led to major mathematical advances. A new look Now as the question is five years old and there are certainly more examples of ...

1
2