Infrastructure Team
Cubical Analytic Continuation — HoTT Foundations for Complex Analysis
27 valid9 incompletemath.CV33 pages
Download PDF
Abstract
Provides cubical type-theoretic foundations for analytic continuation, enabling the Track B cohomological arguments to access complex-analytic results. 27 valid theorems at 2.7× target, 9 incomplete.
27
Valid Theorems
0
Invalid
9
Incomplete
33
Pages
Full Paper
Read the full paper as a PDF:
Open PDF