Postdoc in mathematics at University of Minnesota. Interested in fluid mechanics and computer-assisted proofs.
-
University of Minnesota
- 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++
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.


