Comentarios: :: Library Catalog

Gardado en:

Detalles Bibliográficos
Autor Principal:	Lee, Paul Chun-Kit
Formato:	Recurso digital
Idioma:	inglés
Publicado:	Zenodo 2026
Subjects:	Constructive reverse mathematics Motives Grothendieck conjectures Standard Conjecture D Weil Riemann Hypothesis Tannakian categories Lean 4 Mathlib Formal verification Arithmetic geometry De-omniscientizing descent Limited Principle of Omniscience
Acceso en liña:	https://doi.org/10.5281/zenodo.18687415
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!

Títulos similares