Exact Real Computation in Computer Algebra.

Gábor Bodnár Barbara Kaltenbacher Petru Pau Josef Schicho

Published in: SNSC (2001)

Keyphrases

computer algebra
theorem prover
real world
computer vision
image processing
decision trees
bayesian networks
real life
efficient computation
exact computation
computer algebra systems