Login / Signup
Inverse Inequality Estimates with Symbolic Computation.
Christoph Koutschan
Martin Neumüller
Silviu Radu
Published in:
CoRR (2016)
Keyphrases
</>
importance sampling
multiscale
joint estimation
confidence intervals
accurate estimation
correlation matrix
automated deduction
rao bound
imperative programs