New results on verified inclusions

This publication has 20 references indexed in Scilit:

• E-methods for fixed point equations f(x)=x
  Computing, 1982
• The solution of nonlinear Equations by the computation of fixed points with a modification of the sandwich method
  Computing, 1980
• Numerical Solution of Nonlinear Equations
  ACM Transactions on Mathematical Software, 1979
• Floating-Point Computation of Functions with Maximum Accuracy
  IEEE Transactions on Computers, 1977
• Ein Konzept für eine allgemeine Theorie der Rechnerarithmetik
  Published by Springer Nature ,1977
• Genaue Summation von Gleitkommazahlen
  Published by Springer Nature ,1977
• Formalization and implementation of floating-point arithmetics
  Computing, 1975
• Fast local convergence with single and multistep methods for nonlinear equations
  The Journal of the Australian Mathematical Society. Series B. Applied Mathematics, 1975
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
  Computing, 1969
• Optimale Rechengenauigkeit bei Rechenanlagen mit gleitendem Komma
  Zeitschrift für angewandte Mathematik und Physik, 1953