Code/data for "A computer-assisted proof of the maximum mass of relativistic n = 1 polytropic stars"
收藏官方服务:
资源简介:
The paper related to this code/data deposit has been submitted to SSRN.
提供机构:
Zenodo创建时间:
2026-11-03

The paper related to this code/data deposit has been submitted to SSRN.