header

Trap : Computes the approximate area under the curve f(x) between X axis.
Tag:
Edit edit   Starstar

Program Information

Name: Trap
Domain: Calculus
Functionality: Computes the approximate area under the curve f(x) between X axis.
Input:
     F: The function to be intergrated (Type: Function) M: The fisrt x coordinate (Type: Real) N: The second x coordinate (Type: Real)
Output:
     K: Area under the curve F(x) between x = M and x = N (Type: Real).

Reference

         Semi-Proving: an Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing http://dx.doi.org/10.1145/566171.566202

MR Information


MR1


    Source input: <Fs, Ms, Ns> ; Source output: Ks
    Follow-up input: <Ff, Mf, Nf> ; Follow-up output: Kf
    Input relation: let Ff(x) = Fs(x) + C, C is a positive constant, and Mf = Ms, Nf = Ns
    Output relation: Kf = Ks + C * |Ms – Ns|.

Related

Insert title here