-
Notifications
You must be signed in to change notification settings - Fork 3
Home
Marcelo Forets edited this page Aug 11, 2020
·
7 revisions
Welcome to the RangeEnclosures.jl wiki!
For development-related resources, see the JuliaReach Developer's Documentation.
- Polyhedral relaxations: https://sujeevraja.github.io/PolyhedralRelaxations.jl/latest/
- https://github.com/latture/pallas-solver
- https://github.com/ampl/global-optimization
- https://github.com/sharma-n/global_optimization
- https://www.lix.polytechnique.fr/~liberti/teaching/globalopt-lima.pdf
- http://www.globaloptimization.org/publications/software/
- https://www.mat.univie.ac.at/~neum/glopt/software_g.html