Nuprl Definition : quadratic2
quadratic2(a;b;c) == (-(b) - rsqrt((b * b) - r(4) * a * c)/r(2) * a)
Definitions occuring in Statement :
rsqrt: rsqrt(x),
rdiv: (x/y),
rsub: x - y,
rmul: a * b,
rminus: -(x),
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
rmul: a * b,
rsub: x - y,
rsqrt: rsqrt(x),
rminus: -(x),
rdiv: (x/y)
FDL editor aliases :
quadratic2
Latex:
quadratic2(a;b;c) == (-(b) - rsqrt((b * b) - r(4) * a * c)/r(2) * a)
Date html generated:
2016_10_26-AM-10_11_17
Last ObjectModification:
2016_09_29-PM-04_23_55
Theory : reals
Home
Index