遇见数据集

Yang-Mills Formal Proof: Cryptographic Timestamp

收藏
Zenodo2026-06-21 更新2026-06-28 收录
官方服务:

资源简介:

Formal mathematical proof timestamp verification. SHA-256 hash and blockchain timestamp establishing June 30, 2025 priority date. Complete proof accessible through appropriate arrangements. License Note: This timestamp document may be viewed for verification purposes. All distribution and other rights reserved. The underlying mathematical proof referenced herein is proprietary and not included. Theometric_Yang_Mills_2.thy.ots md5:e895bfb1ccd4ebd619ba070cbb3c9bfe 479 bytes Theometric_Yang_Mills_2.thy md5:2746e42643132eca9ebd8a77dbeb4d0b 9.92 KB Yang_Mills_Arguments.thy md5:360e846cdfd850d6e7d2c3e17ec1dde1 9.65 KB Yang_Mills_Foundation.thy md5:0f747d2e5730bf57962775e1cdf90a1d 6.47 KB

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