遇见数据集

증명 모음

收藏
Zenodo2025-03-13 更新2026-05-26 收录
官方服务:

资源简介:

컴퓨터 의존 없는 수학적 케플러 추측 증명, 외로운 러너 추측 증명, 에르되시 - 기야르파시 추측 증명, 에르되시 거리 추측 증명

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