호지 추측의 증명을 완전히 선언한다.
Published in Zenodo (CERN European Organization for Nuclear Research) • Mar 13, 2025
NobleIDNI0P39W00R52S95
Authors:
Sangun Lee
Abstract
호지 추측 증명이 국소적 증명을 전역적으로 자명하게 확장한 기존의 증명에 대하여 호지 추측이 특이점이 없음을 Coq 형식 논리로 자체적으로 증명한다.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!