Robustheit von Algorithmen zur Doppelwort-Addition

Selbst bei moderater Überlappung der Eingaben garantieren sowohl der "sloppy add"- als auch der "accurate add"-Algorithmus Fehlerschranken der Ordnung O(u2(|a| + |b|)) bei treuer Rundung. Unter bestimmten zusätzlichen Bedingungen kann der "accurate add"-Algorithmus sogar eine relative Fehlerschranke der Ordnung O(u2) bei moderater Überlappung der Eingaben in treuer Rundung erreichen.