You need Mathematica version 8.0 or later installed to run AskConstants™.

Download and initial launch instructions for version 1.3:

1.  Click the following package file, but  Do Not  open it if your browser offers that choice.
    Initially, the best place to download to is your default Download folder.
    You can move the AskConstants download files after trying AskConstants if desired:

2.  Next click the following package file to download it to the same folder as the previous file:
    Do Not  open it if your browser offers that choice.

3.  Next click the following notebook file to download it to the same folder as the previous two file,
    and  Open  it if your browser offers that choice.
    That file contains instructions on how to launch AskConstants:

4.  If your browser does not offer the choice of immediately Opening that file or if your operating
    system does not know to open such files with your most recent version of  Mathematica, then:

    a)  Launch Mathematica.

    b)  Use its  File/Open  menu to navigate to LaunchAskConstantsEtAl.nb

    c)  Open the file and follow the instructions therein.

5.  Here is another Optional file.  You can come back and download the latest version of it if you
    are an experienced Mathematica programmer and want to change the lookup table used for one of
    the two search methods. However, it is a time-consuming development tool rather than part of the 
    AskConsants runtime support, and probably less than 1% of AskConstants user's would want to use it:

6.  AskConstants is a new product, so we expect rapid improvement during the next year.
    If you would like to be informed of new versions, then request that from

    Your email address will not be used for any other purpose or revealed to anyone else.
    You can unsubscribe at any time, in which case we will delete your email address from our database.

You need Mathematica version 10.0 or later to run the AskConstants application.
      However you need only version 8.0 or later to run the Propose [...] and NSimplify [...]  functions, 
which provide all of the same functionality in a composable form.

Download Steps:

1. Using your Finder or File Explorer application, make a new folder named AskConstants in your 
   Downloads folder.  (If that folder already exists, then either rename it or delete all of its contained

2. Use your browser to download the following file without opening it.
              or the previous version
3. If your browser does not automataically unzip, then use your file manager application or a 
    zip application to extract the files in into the empty AskConstants folder.

4. Optional step: Copy the following command into a Mathematica session, then apply [Shift][Enter] 
    to it, then use your Finder or File Explorer application to move the AskConstants directory into the 
    resulting directory:

      FileNameJoin [{$HomeDirectory, "AppData", "Roaming", "Mathematica", "Applications"}]

One-time Installation Step:

5. In a fresh Mathematica session, use the Mathematica File > Open menu to load from the 
   AskConstants folder the notebook file named

   then follow the brief directions there.

Load and Launch Step:

6. In a fresh Mathematica session, open the notebook file named


   then follow the brief instructions there.

  • Sometimes neither humans nor computer algebra can determine an exact closed-form expression for a constant that is an integral, an infinite series, or the solution to an equation, but mathematics software can determine a floating-point approximation.
  • Do you wonder if that float approaches some expressible closed form as the precision increases?
  • You can use the AskConstants package to generate candidates for your exact non-float limit.
  • AskConstants can also sometimes dramatically simplify non-float constants.
  • The following four slides are images of AskConstants in action :

  • Agreement is the number of digits of agreement between the float and a proposed non-float.
  • Entropy10 is the complexity of the non-float measured in equivalent digits.
  • Merit is:   Agreement - Entropy10.
  • You can enter your own float arising from a numerical result that you cannot obtain exactly.

  • Choose functions that are allowed in non-float results: