Numerical Integration with Exact Real Arithmetic

This publication has 9 references indexed in Scilit:

• Integration in Real PCF
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• How Many Argument Digits are Needed to Produce n Result Digits?
  Electronic Notes in Theoretical Computer Science, 2000
• Lazy functional algorithms for exact real functionals
  Published by Springer Nature ,1998
• A New Representation for Exact Real Numbers
  Electronic Notes in Theoretical Computer Science, 1997
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
  Bulletin of Symbolic Logic, 1997
• PCF extended with real numbers
  Theoretical Computer Science, 1996
• Numerical Integration on Advanced Computer Systems
  Published by Springer Nature ,1994
• Exact real computer arithmetic with continued fractions
  IEEE Transactions on Computers, 1990
• Exact real arithmetic: a case study in higher order programming
  Published by Association for Computing Machinery (ACM) ,1986