Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
moment-sos
moment-sos
  • Installation
  • Quickstart
  • Tutorial: MAX-CUT and optimality proofs
  • Tutorial: equality constraints (graph bisection)
  • Tutorial: polynomial minimization on a box
  • Tutorial: correlative sparsity on a chain
  • Tutorial: certifying a ReLU network
  • Tutorial: reading convergence, choosing options
  • Modeling problems
  • Solvers
  • Certificates and primal recovery
  • Correlative sparsity
  • Adaptive lifting: the triangle walk
  • Neural-network tools
  • Command line and JSON format
  • Julia: MomentSOS.jl
  • Theory in brief
  • Benchmarks and limitations
  • FAQ
  • API reference
  • Contributing
  • Changelog
Back to top
Copyright ©
Made with Sphinx and @pradyunsg's Furo