Descrição
Código de ponto flutuante pode ser analisado e gerado com um ambiente de ferramentas focado em segurança numérica. Desenvolvedores e pesquisadores usam `sollya` e sua biblioteca para aproximar funções, raciocinar sobre precisão e apoiar implementações matemáticas seguras. É ao mesmo tempo uma ferramenta de linha de comando e uma biblioteca de desenvolvimento.