=ADD=
=reftype=
14
=number=
00-33
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2000/00-33.ps.gz
=year=
2000
=month=
12
=author=
Bodnar; G\'{a}bor + Pau; Petru + Schicho; Josef
=title=
Exact Real Computation in Computer Algebra
=abstract=
  This paper describes our approach to represent computable real
  numbers in Maple. We aimed at a model that can be used in symbolic
  computation.
  
  The main topics we discuss are: representation and arithmetic of
  exact real numbers, vectors and matrices; polynomial arithmetic and
  root computation.  Some operations raise ill-posed problems; we used
  regularization methods to solve them.

  We also give non-trivial examples of the theory that supports our
  algorithms.
=sponsor=
FWF project SFB-013, subproject F1303
=keywords=
computable reals, exact real number arithmetic, regularization methods