Data and code for: A hyperbolic Kepler equation solver with four Newton iterations and a computer-assisted uniform error bound
收藏资源简介:
Source code and data for the article "A hyperbolic Kepler equation solver with four Newton iterations and a computer-assisted uniform error bound". The Python scripts implement the solver, check the error bound in exact and ball arithmetic, benchmark accuracy against reference solvers, and generate the error-map and Newton iteration-count figures. Data: bound_check_summary.json (exact-arithmetic bound check), benchmark_accuracy.json (benchmark accuracy and function-call results, with platform metadata), grid_error_maps.npz (480x480 error-map and iteration-count grid), corner_transect_naive_stable.csv (corner transect), independent_root_crosscheck.json (independent root cross-check), interval_certification.json (ball-arithmetic check of the constants). Reference roots use mpmath at 50 significant digits; random grids use seed 20260720. Version 1.1.0 accompanies the revised manuscript: the timing, throughput, and Fukushima comparison material was removed and the Newton iteration-count map was added.



