Step 1: Install Julia

Download the current stable release of Julia on https://julialang.org/downloads, using the correct version for your operating system (Linux x86, Mac, Windows, etc).

Step 2: Install RadiiPolynomial

Next we will install RadiiPolynomial, the library for computer-assisted proofs that we will be using during the course. RadiiPolynomial is a Julia package designed for computer-assisted proofs relying on spectral methods and the contraction mapping theorem.

Open the Julia REPL. This is the command-line interface to Julia: there you type a command, and when you press ENTER, it runs, and you see the result.

To install RadiiPolynomial, we want to run a package manager command. To switch from Julia mode to Pkg mode, type ] (closing square bracket) at the julia> prompt:

julia> ]
(@v1.10) pkg>

The line turns blue and the prompt changes to pkg>, telling you that you are now in package manager mode. This mode allows you to do operations on packages (also called libraries).

Run the following (case sensitive) command to add (install) the package to your system by downloading it from the internet (you should only need to do this once for each installation of Julia):

(@v1.10) pkg> add RadiiPolynomial