The proof of Hadwiger conjecture

This is the final certificate that has been sorted out.And completed the formalization of lean.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-08
DOI
https://doi.org/10.5281/zenodo.24057638
Primary Topic
Limits and Structures in Graph Theory
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
preprint

The proof of Hadwiger conjecture

赵九思
1 links
Zenodo (CERN European Organization for Nuclear Research)
Limits and Structures in Graph Theory
preprint

The proof of Hadwiger conjecture

赵九思
preprint en

Abstract

This is the final certificate that has been sorted out.And completed the formalization of lean.

Zenodo (CERN European Organization for Nuclear Research)
Limits and Structures in Graph Theory
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
The proof of Hadwiger conjecture — 赵九思 · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS