호지 추측의 증명을 완전히 선언한다.
收藏官方服务：
资源简介：
호지 추측 증명이 국소적 증명을 전역적으로 자명하게 확장한 기존의 증명에 대하여 호지 추측이 특이점이 없음을 Coq 형식 논리로 자체적으로 증명한다.
应用场景：
提供机构：
Zenodo创建时间：
2025-03-13
相关数据集
Data and code related to Surrogate-based Bayesian calibration methods for chaotic systems: a comparison of traditional and non-traditional approaches
Data and code related to Surrogate-based Bayesian calibration methods for chaotic systems: a comparison of traditional and non-traditional approaches
Zenodo2025-12-29 更新00
Linked collectors and determiners for: ZMUO Common invertebrate collection.
Natural history specimen data linked to collectors and determiners held within, "ZMUO Common invertebrate collection". Claims or attributions were made on Bionomia by volunteer Scribes, https://bionom
Zenodo2024-10-23 更新00
LOW +InfoFIN Virkalakki - Uniform cap
Junanlähettäjän virkalakki on kuulunut Emelie "Milly" Tojkanderille (1866-1939), joka oli ensimmäinen nainen asemapäällikön virassa Suomessa. Hän työskenteli Valtionrautateillä eri tehtävissä kaikkiaa
Zenodo2026-05-25 更新00
Dataset Analysis: optim_complexity_delay.py
Automated analysis and raw data for file ./neurokit2/complexity/optim_complexity_delay.py from the NeuroKit project.
Zenodo2026-05-20 更新00
Certificate of the Minimal Size of 11-Channel Sorting Networks
A machine checkable certificate proving the absence of 11-channel sorting networks with fewer than 35 comparators. See github.com/jix/sortnetopt (10.5281/zenodo.4139151) for software that can check th
Zenodo2020-10-27 更新00
