Popular repositories Loading

1. RadiiPolynomial.jl RadiiPolynomial.jl Public

   Library for computer-assisted proofs in dynamical systems

   Julia 25 5

2. EllipticPDELocalizedRadialSol.jl EllipticPDELocalizedRadialSol.jl Public

   Julia 1

3. IntervalArithmetic.jl IntervalArithmetic.jl Public

   Forked from JuliaIntervals/IntervalArithmetic.jl

   Library for validated numerics using interval arithmetic

   Julia 1

4. Computer-assisted-proofs-in-nonlinear-analysis Computer-assisted-proofs-in-nonlinear-analysis Public

   Julia 1

5. HLPeriodicOrbits_VIII_IX.jl HLPeriodicOrbits_VIII_IX.jl Public

   Julia

6. DDEPoincareScenario.jl DDEPoincareScenario.jl Public

   Julia