NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS



  • Kodiak is a software library that integrates numeric and symbolic computation into a generic framework for the solution of numerical, possibly non-linear, problems over hyper-rectangular variable and parameter domains. At the basis of Kodiak there is a formally verified branch and bound algorithm and self-validating enclosure methods based on interval arithmetic and, for polynomials and rational functions, Bernstein expansions. Kodiak provides tools for paving a system of constraints, for solving constrained global optimization problems, and for computing the equilibria and bifurcation sets for systems of ordinary differential equations.

    Kodiak is available under NASA's Open Source Agreement from GitHub*.

    Publications

    *The Kodiak logo was designed by Mahyar Malekpour (NASA).

    The tag [*] identifies links that are outside the NASA domain