Nuprl Definition : poly-nth-deriv
poly-nth-deriv(n;a) == primrec(n;a;λi,r. poly-deriv(r))
Definitions occuring in Statement :
poly-deriv: poly-deriv(a),
primrec: primrec(n;b;c),
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x],
poly-deriv: poly-deriv(a)
FDL editor aliases :
poly-nth-deriv
Latex:
poly-nth-deriv(n;a) == primrec(n;a;\mlambda{}i,r. poly-deriv(r))
Date html generated:
2016_05_18-AM-10_08_31
Last ObjectModification:
2015_09_23-AM-09_14_52
Theory : reals
Home
Index