Nuprl Definition : integral
∫ f[x] dx on [a, b] == fst((TERMOF{alt-Riemann-sums-converge-ext:o, 1:l} a b (λx.f[x]) mc))
Definitions occuring in Statement :
pi1: fst(t),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
pi1: fst(t),
apply: f a,
lambda: λx.A[x]
TermOfs occuring in Definition :
alt-Riemann-sums-converge-ext
FDL editor aliases :
integral
Latex:
\mint{} f[x] dx on [a, b] == fst((TERMOF\{alt-Riemann-sums-converge-ext:o, 1:l\} a b (\mlambda{}x.f[x]) mc))
Date html generated:
2016_05_18-AM-10_47_02
Last ObjectModification:
2015_09_23-AM-09_16_50
Theory : reals
Home
Index