Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
In the following the computer implementation of the new numerical methods presented in "Numerical results with verified accuracy" in this proceedings will be described. .