-
Uppsala University
- dahne.eu
-
flint2 Public
Forked from flintlib/flintFLINT (Fast Library for Number Theory)
C GNU Lesser General Public License v2.1 UpdatedFeb 3, 2025 -
-
CGL.jl Public
Code for proving the existence of self-similar singular solutions for the nonlinear Schrödinger equation and the complex Ginzburg-Landau equation
HTML UpdatedOct 7, 2024 -
ArbExtras.jl Public
Julia package with extra tools for Arblib.jl
-
Yggdrasil Public
Forked from JuliaPackaging/YggdrasilCollection of builder repositories for BinaryBuilder.jl
Fortran Other UpdatedMar 12, 2024 -
IntervalArithmetic.jl Public
Forked from JuliaIntervals/IntervalArithmetic.jlLibrary for validated numerics using interval arithmetic
Julia Other UpdatedJan 8, 2024 -
HighestCuspedWave.jl Public
Code for proving the existence of a highest cusped wave for the fractional KdV equation
HTML UpdatedSep 4, 2023 -
BurgersHilbertWave.jl Public
Code for proving the existence of a highest cusped wave for the Burgers-Hilbert equation
HTML MIT License UpdatedAug 3, 2023 -
-
-
arb Public
Forked from flintlib/arbC library for arbitrary-precision interval arithmetic
C GNU Lesser General Public License v2.1 UpdatedJul 30, 2022 -
Pluto.jl Public
Forked from fonsp/Pluto.jl🎈 Simple reactive notebooks for Julia
Julia MIT License UpdatedFeb 15, 2022 -
PaynePolygon.jl Public
Code for proving that there is a counterexample to Payne's nodal line conjecture with only six holes.
HTML UpdatedJun 22, 2021 -
Arblib.jl Public
Forked from kalmarek/Arblib.jlThin, efficient wrapper around Arb (http://arblib.org/)
Julia MIT License UpdatedApr 17, 2020 -
Exam-conversion Public
Simple script for doing automatic conversion of documents in different formats to pdf
Shell MIT License UpdatedApr 2, 2020 -
ArbNumerics.jl Public
Forked from JeffreySarnoff/ArbNumerics.jlextended precision math, accurate and performant
Julia MIT License UpdatedDec 14, 2019 -
CoordinateTransformations.jl Public
Forked from JuliaGeometry/CoordinateTransformations.jlA fresh approach to coordinate transformations...
Julia Other UpdatedSep 15, 2019 -
particular-solution Public
Program for enclosing eigenvalues of the Laplacian on spherical triangles using the method of particular solutions.
-
co-trajetory-analysis Public
Scala and Spark code for analysis of co-trajectories, in particular privacy analysis of SwapMob
-
octave-taylor-POC Public
A proof of concept implementation of Taylor arithmetic in Octave, meant to work with the interval package.
-
generateZeros Public
Program for finding zeros to systems of two analytical functions
C++ GNU General Public License v3.0 UpdatedMay 17, 2018