Similar repositories to cswiercz/smale:

• cswiercz/smale github similar
• psg-mit/marshall github similar
• newptcai/BeeEncoder.jl github similar
• dreal/DReal.jl github similar
• Kolaru/BranchAndPrune.jl github similar
• RJDennis/SmolyakApprox.jl github similar
• jwmerrill/Pnums.jl github similar
• byuflowlab/Snopt.jl github similar
• JuliaReach/RangeEnclosures.jl github similar
• philzook58/rel github similar
• JeffreySarnoff/FastRationals.jl github similar
• lairez/ExactPredicates.jl github similar
• arpra-project/arpra github similar
• jipolanco/BSplineKit.jl github similar
• JuliaAlgebra/SemialgebraicSets.jl github similar
• JuliaMatrices/HierarchicalMatrices.jl github similar
• philzook58/ad-lens github similar
• expipiplus1/exact-real github similar
• soarlab/FPTaylor github similar
• anj1/AlgebraicNumbers.jl github similar
• robol/MPSolve github similar
• blegat/HybridSystems.jl github similar
• JuliaSymbolics/SymbolicSAT.jl github similar
• psg-mit/smooth github similar
• mroughan/SurrealNumbers.jl github similar
• tkf/Kaleido.jl github similar
• biotomas/ipasir github similar
• codac-team/codac github similar
• mehalter/Petri.jl github similar
• sumiya11/Groebner.jl github similar
• simonbyrne/Remez.jl github similar
• blambov/RealLib github similar
• heltonmc/Bessels.jl github similar
• rfourquet/BitIntegers.jl github similar
• ahumenberger/Z3.jl github similar
• dalum/Sylvia.jl github similar
• JuliaMath/Richardson.jl github similar
• ron-rivest/MIT-6.S898-climate-change github similar
• janverschelde/PHCpack github similar
• JuliaAlgebra/DynamicPolynomials.jl github similar