PhD student in mathematics interested in computer assisted proofs.
-
Uppsala University
- dahne.eu
Popular repositories Loading
-
octave-taylor-POC
octave-taylor-POC PublicA proof of concept implementation of Taylor arithmetic in Octave, meant to work with the interval package.
MATLAB 2
-
particular-solution
particular-solution PublicProgram for enclosing eigenvalues of the Laplacian on spherical triangles using the method of particular solutions.
C 1
-
-
-
generateZeros
generateZeros PublicProgram for finding zeros to systems of two analytical functions
C++
-
co-trajetory-analysis
co-trajetory-analysis PublicScala and Spark code for analysis of co-trajectories, in particular privacy analysis of SwapMob
Scala 3
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.