five

호지 추측의 증명을 완전히 선언한다.

收藏
NIAID Data Ecosystem2026-05-02 收录
下载链接:
https://zenodo.org/record/15020371
下载链接
链接失效反馈
官方服务:
资源简介:
호지 추측 증명이 국소적 증명을 전역적으로 자명하게 확장한 기존의 증명에 대하여 호지 추측이 특이점이 없음을 Coq 형식 논리로 자체적으로 증명한다.
创建时间:
2025-03-13
二维码
社区交流群
二维码
科研交流群
商业服务