NASA logo

+ Contact NASA



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

  • Affine Arithmetic

    The PVS* development affine_arith, which will be included in the next release of the NASA PVS Library, formalizes the theory of affine arithmetic for expressions involving constants, variables, addition, subtraction, multiplication, and the power operation on variables. This development includes the proof-producing strategy aff-numerical for evaluating multivariate polynomials with variables in interval domains.

    Publications

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