How to hunt wild constants

03/30/2021
by   David R. Stoutemyer, et al.
0

There are now several comprehensive web applications, stand-alone computer programs and computer algebra functions that, given a floating point number such as 6.518670730718491, can return concise nonfloat constants such as 3 arctan 2 + ln 9 + 1, that closely approximate the float. Examples include AskConstants, Inverse Symbolic Calculator, the Maple identify function, MESearch, OEIS, RIES, and WolframAlpha. Usefully often such a result is the exact limit as the float is computed with increasing precision. Therefore these program results are candidates for proving an exact result that you could not otherwise compute or conjecture without the program. Moreover, candidates that are not the exact limit can be provable bounds, or convey qualitative insight, or suggest series that they truncate, or provide sufficiently close efficient approximations for subsequent computation. This article describes some of these programs, how they work, and how best to use each of them. Almost everyone who uses or should use mathematical software can benefit from acquaintance with several such programs, because these programs differ in the sets of constants that they can return.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/02/2022

Auto-active Verification of Floating-point Programs via Nonlinear Real Provers

We give a process for verifying numerical programs against their functio...
research
01/02/2022

High Precision Computation of Riemann's Zeta Function by the Riemann-Siegel Formula, II

(This is only a first preliminary version, any suggestions about it will...
research
02/01/2023

Exact Probabilistic Inference Using Generating Functions

Probabilistic programs are typically normal-looking programs describing ...
research
02/02/2022

Extracting efficient exact real number computation from proofs in constructive type theory

Exact real computation is an alternative to floating-point arithmetic wh...
research
08/24/2020

Exact p-adic computation in Magma

We describe a new arithmetic system for the Magma computer algebra syste...
research
07/31/2021

A Study of the Floating-Point Tuning Behaviour on the N-body Problem

In this article, we apply a new methodology for precision tuning to the ...
research
02/28/2020

Criteria for the numerical constant recognition

The need for recognition/approximation of functions in terms of elementa...

Please sign up or login with your details

Forgot password? Click here to reset