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?

$\endgroup$
6
  • 3
    $\begingroup$ Could it be gmplib.org ? $\endgroup$
    – Adrien
    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$ Jul 18, 2023 at 7:57
  • 1
    $\begingroup$ Possibly PARI/GP? $\endgroup$
    – J.J. Green
    Jul 18, 2023 at 8:39
  • 1
    $\begingroup$ Does looking at en.wikipedia.org/wiki/… help to remember the library? $\endgroup$ 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$ Jul 18, 2023 at 14:06

1 Answer 1

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.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.