遇见数据集

Data and code for: A hyperbolic Kepler equation solver with four Newton iterations and a computer-assisted uniform error bound

收藏
Zenodo2026-09-30 更新2026-10-01 收录
官方服务:

资源简介:

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.

提供机构:
Zenodo
创建时间:
2026-09-30
二维码
社区交流群
二维码
科研交流群
商业服务