Joel-Dahne - Overview
PhD student in mathematics interested in computer assisted proofs.
-
Uppsala University
- dahne.eu
Popular repositories Loading
-
A proof of concept implementation of Taylor arithmetic in Octave, meant to work with the interval package.
MATLAB 2
-
Program for enclosing eigenvalues of the Laplacian on spherical triangles using the method of particular solutions.
C 1
-
Julia package with extra tools for Arblib.jl
Julia 1
-
Code for proving the existence of self-similar singular solutions for the nonlinear Schrödinger equation and the complex Ginzburg-Landau equation
HTML 1
-
Program for finding zeros to systems of two analytical functions
C++