Details About PVS Series Library

The PVS dump file contains the following theories:

    series                -- definition + properies of infinite series
    power_series          -- definition + properies of power series
    trig_fun              -- definition of trigonometric functions
    trig_props            -- basic trig identities
    nth_derivatives       -- nth derivative of a function 
    taylors               -- Taylor's theorem
    power_series_deriv    -- derivative of a power series

Return to Parent Page

Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 30 June 2001