Coinduction for Exact Real Number Computation.

Ulrich Berger Tie Hou

Published in: Theory Comput. Syst. (2008)

Keyphrases

real life
finite number
high level
computational complexity
neural network
information technology
small number
fixed number