OCaml锻造

nl-认证

NLCertify是一个用OCaml/Coq设计的软件包，用于处理涉及超越函数的非线性不等式的正式证明。该工具利用各种maxplus/minimax近似方法进行稀疏半代数优化。