Joel-Dahne - Overview

View Joel-Dahne's full-sized avatar

PhD student in mathematics interested in computer assisted proofs.

Block or report Joel-Dahne

Popular repositories Loading

  1. A proof of concept implementation of Taylor arithmetic in Octave, meant to work with the interval package.

    MATLAB 2

  2. Program for enclosing eigenvalues of the Laplacian on spherical triangles using the method of particular solutions.

    C 1

  3. Julia package with extra tools for Arblib.jl

    Julia 1

  4. Code for proving the existence of self-similar singular solutions for the nonlinear Schrödinger equation and the complex Ginzburg-Landau equation

    HTML 1

  5. Program for finding zeros to systems of two analytical functions

    C++