6
$\begingroup$

This is probably a $y=f(x)$ question, but I searched several times on the MathOverflow without success so I decided to explicitly ask for the help of other members: please feel free to ask me to remove the question if inappropriate.
Nearly a month or so, in a MathOverflow answer (I guess so, but at this point I should consider the possibility I am wrong) to a question on (computational) number theory I read about a C library for arbitrary precision arithmetic which was successfully used in several research papers, including one where the Authors proved the existence of a soliton solution to a PDE by proving the strict positivity of a term by estimating its size as being not less than a $21$ bit mantissa multiplied by $10^{-5000}$ (I am fairly sure of this fact but, as already said, I should consider the possibility I am wrong). I went to the library web page and saved the link in my bookmarks: then a crash occurred (yes, also experienced electronics engineers lose data...) and up until now I was not able to find the former Q&A.

Question: can someone provide me a reference to this library?

Improve this question
$\endgroup$
6
  • 3
    $\begingroup$ Could it be gmplib.org ? $\endgroup$
    – Adrien
    Commented Jul 18, 2023 at 7:48
  • $\begingroup$ @Adrien, unfortunately no. GMP is somewhat standard and I know it from my old days of avid linux user. However thanks a lot. $\endgroup$
    – Daniele Tampieri
    Commented Jul 18, 2023 at 7:57
  • 1
    $\begingroup$ Possibly PARI/GP? $\endgroup$
    – J.J. Green
    Commented Jul 18, 2023 at 8:39
  • 1
    $\begingroup$ Does looking at en.wikipedia.org/wiki/… help to remember the library? $\endgroup$
    – Peter Mueller
    Commented Jul 18, 2023 at 13:51
  • 1
    $\begingroup$ @PeterMueller wow! Thank you very much! I'll swim through the list and then I'll see. $\endgroup$
    – Daniele Tampieri
    Commented Jul 18, 2023 at 14:06

1 Answer 1

Reset to default
13
$\begingroup$

Since you speak about mathematical proofs, probably you don't want an arbitrary-precision library, but a verified computation library based on interval arithmetic.

Maybe Arb? Or boost-interval?

And maybe the post you remembered is about Warwick Tucker proving the existence of the Lorenz attractor.

Improve this answer
$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .