Core papers: reading and source links
Browse hub · Find proofs · Lean sources · Code · Collection
PDF, manuscript text, Lean sources, code, and existing evidence are linked separately. Source files may describe an older edition. The status link gives the current assessment.
Contents
- Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
- Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
- Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
- Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
- Paper V: Polyphase Signal Calculus
- Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
- Paper VII: Quantum Seed Calculus
- Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
- Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
- Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
- Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
- Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Open work page: Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Open work page: Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Open work page: Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper V: Polyphase Signal Calculus
Open work page: Paper V: Polyphase Signal Calculus
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper VII: Quantum Seed Calculus
Open work page: Paper VII: Quantum Seed Calculus
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Open work page: Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Open work page: Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Open work page: Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Open work page: Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Open work page: Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion