Naufrage

...is a tool for sum of squares (S.O.S) decomposition of polynomials.

...is French for "shipwreck".

...is implemented in OCaml.

The current implementation is highly experimental.

See also

Sergei, a Global Optimization Tool for Polynomials