Revised reading edition
The Possibility for a Machine-Native Mathematics
25 pages · Editable sources and HTML reading version available.
Papers and PDFs
HTML editions provide chapter navigation, selectable equations, and links between statements and proofs. Other papers, visual guides, and formal companions are available below as PDFs with search, page controls, zoom, printing, and a direct download.
Browse all works and their evidence · Worked examples
180 PDFs
Read PDF
ABC: source and evidence reader
Komorebi_ABC_Conjecture_Piece_v1.0.pdf · 0.5 MB
Visual guide (PDF)
ABC: source and evidence reader
Komorebi_ABC_Visual_Guide_v1.0.pdf · 0.5 MB
Lean guide (PDF)
AVOC
AVOC_Lean_Companion_Final.pdf · 0.4 MB
Read PDF
AVOC
AVOC_Traditional_Final.pdf · 0.4 MB
Visual guide (PDF)
AVOC
AVOC_Visual_Guide_Final.pdf · 0.6 MB
Read PDF
Agent Dynamics
Agent_Dynamics_Python_Visual_Atlas.pdf · 0.1 MB
Read PDF
Beal: source and evidence
Komorebi_Beal_Conjecture_Piece_v1.0.pdf · 0.4 MB
Visual guide (PDF)
Beal: source and evidence
Komorebi_Beal_Visual_Guide_v1.0.pdf · 0.5 MB
Read PDF
COS Method
K_COS_Monograph.pdf · 1.7 MB
Read PDF
Catalan Constant: source and evidence
Komorebi_Catalan_Constant_Conjecture_Piece_v1.0.pdf · 0.7 MB
Visual guide (PDF)
Catalan Constant: source and evidence
Komorebi_Catalan_Constant_Visual_Guide_v1.0.pdf · 0.7 MB
Lean guide (PDF)
Certified Bayesian Inference
Certified_Bayesian_Lean_Companion_Final.pdf · 0.3 MB
Read PDF
Certified Bayesian Inference
Certified_Bayesian_Traditional_Final.pdf · 0.4 MB
Visual guide (PDF)
Certified Bayesian Inference
Certified_Bayesian_Visual_Guide_Final.pdf · 0.6 MB
Komorebi Collatz Conjecture Piece v1.1 (PDF)
Collatz and Riemann: source and evidence
Komorebi_Collatz_Conjecture_Piece_v1.1.pdf · 0.3 MB
Komorebi Riemann Conjecture Piece v1.1 (PDF)
Collatz and Riemann: source and evidence
Komorebi_Riemann_Conjecture_Piece_v1.1.pdf · 0.3 MB
Visual guide (PDF)
Collatz and Riemann: source and evidence
Komorebi_Collatz_Visual_Guide_v1.1.pdf · 0.5 MB
Read PDF
Constructive Repair
Constructive_Repair.pdf · 0.7 MB
Read PDF
Gaussian Elimination: collected guide
Komorebi_Gaussian_Elimination_Collected_Pages.pdf · 1.3 MB
Read PDF
Grounded Abstraction
Grounded_Abstraction_v1.0.0.pdf · 0.5 MB
Lean guide (PDF)
Hilbert 12: cubic divisor development
H12_Cubic_Divisor_Lean_Guide.pdf · 0.2 MB
Read PDF
Hilbert 12: cubic divisor development
H12_Cubic_Divisor_Traditional.pdf · 0.6 MB
Visual guide (PDF)
Hilbert 12: cubic divisor development
H12_Cubic_Divisor_Visual_Guide.pdf · 0.4 MB
Read PDF
Hodge: source and evidence
Komorebi_Hodge_Conjecture_Piece_v1.0.pdf · 0.8 MB
Visual guide (PDF)
Hodge: source and evidence
Komorebi_Hodge_Visual_Guide_v1.0.pdf · 0.6 MB
Read PDF
Hypergraph Lumpability and Bayesian Refinement
Hypergraph_Lumpability_Bayesian_Refinement.pdf · 0.7 MB
Read PDF
Inverse Galois: source and evidence
Komorebi_Inverse_Galois_Conjecture_Piece_v1.0.pdf · 0.7 MB
Visual guide (PDF)
Inverse Galois: source and evidence
Komorebi_Inverse_Galois_Visual_Guide_v1.0.pdf · 0.7 MB
Read PDF
Komorebi Methodology
Komorebi_Methodology.pdf · 0.3 MB
Lean guide (PDF)
Komorebi Space
Komorebi_Space_Lean_Guide.pdf · 0.3 MB
Read PDF
Komorebi Space
Komorebi_Space.pdf · 1.1 MB
Visual guide (PDF)
Komorebi Space
Komorebi_Space_Visual_Guide.pdf · 2.9 MB
Worked-proofs supplement (PDF)
Komorebi Space
Komorebi_Space_Worked_Proofs.pdf · 1.2 MB
Read PDF
Large Signal Model
Realization_Calculus_Large_Signal_Model.pdf · 1.4 MB
Visual guide (PDF)
Large Signal Model
Realization_Calculus_Large_Signal_Model_Theoretical_Atlas.pdf · 0.3 MB
Read PDF
Large Signal Model software
Projector_Resolved_Large_Algebraic_Signal_Model.pdf · 1.1 MB
Read PDF
Lehmer: source and evidence
Komorebi_Lehmer_Conjecture_Piece_v1.0.pdf · 0.7 MB
Visual guide (PDF)
Lehmer: source and evidence
Komorebi_Lehmer_Visual_Guide_v1.0.pdf · 0.6 MB
Read PDF
Machine Native Reasoning
Machine_Native_Reasoning_Reviewed_Core.pdf · 0.3 MB
Read PDF
Machine Native Reasoning: wider continuation
Machine_Native_Reasoning_Reviewed_Continuation.pdf · 0.6 MB
Read PDF
Machine Societies
Machine_Societies_v1.0.0.pdf · 0.8 MB
Lean guide (PDF)
Machine Theory Compendium
AVOC_Lean_Companion_Final.pdf · 0.5 MB
Read PDF
Machine Theory Compendium
Komorebi_Machine_Theory_Compendium_v1.0.0.pdf · 20.3 MB
Visual guide (PDF)
Machine Theory Compendium
Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf · 0.2 MB
Read PDF
Machine Theory: formal development
Reviewed_Core_v0.2.pdf · 0.4 MB
Read PDF
Machine Understanding
Machine_Understanding_v1.0.0.pdf · 0.5 MB
Neuralese Final Research Edition (PDF)
OSL and Neuralese
Neuralese_Final_Research_Edition.pdf · 0.3 MB
OSL Final Research Edition (PDF)
OSL and Neuralese
OSL_Final_Research_Edition.pdf · 0.3 MB
Neuralese Final Research Edition v1.0 (PDF)
OSL and Neuralese: reading edition
Neuralese_Final_Research_Edition_v1.0.pdf · 0.2 MB
OSL Final Research Edition v1.0 (PDF)
OSL and Neuralese: reading edition
OSL_Final_Research_Edition_v1.0.pdf · 0.3 MB
Read PDF
PRISM-1
Komorebi_PRISM_1_Final_Updated.pdf · 1.1 MB
Read PDF
PRISM-1R
PRISM-1R_Implementation_Deployment_Blueprint_v0.2.pdf · 0.7 MB
Lean guide (PDF)
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Paper_I_Lean_Guide_Final.pdf · 0.2 MB
Read PDF
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Paper_I_Traditional_Final.pdf · 0.7 MB
Lean guide (PDF)
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
Paper_II_Lean_Guide_Final.pdf · 0.2 MB
Read PDF
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
Paper_II_Traditional_Final.pdf · 0.6 MB
Visual guide (PDF)
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
Paper_II_Visual_Guide_Final.pdf · 0.2 MB
Lean guide (PDF)
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Paper_III_Lean_Guide_v1.0.0.pdf · 0.2 MB
Read PDF
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Paper_III_Final_v1.0.0.pdf · 0.6 MB
Visual guide (PDF)
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Paper_III_Visual_Guide_v1.0.0.pdf · 0.2 MB
Lean guide (PDF)
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Paper_IV_Lean_Guide_Final.pdf · 0.6 MB
Read PDF
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Paper_IV_Traditional_Final.pdf · 0.6 MB
Visual guide (PDF)
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Paper_IV_Visual_Guide_Final.pdf · 0.3 MB
Visual guide (PDF)
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Paper_IV_Visual_Guide_Reconstructed.pdf · 0.2 MB
Lean guide (PDF)
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Paper_IX_Euler_Lean_Guide_Final.pdf · 0.4 MB
Read PDF
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Paper_IX_Euler_Main_Final.pdf · 1.4 MB
Visual guide (PDF)
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Paper_IX_Euler_Visual_Guide_Final.pdf · 0.5 MB
address_two_envelope.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
address_two_envelope.pdf · 0.0 MB
analytic_slopes.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
analytic_slopes.pdf · 0.0 MB
final_exponents.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
final_exponents.pdf · 0.0 MB
isometry_matrices.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
isometry_matrices.pdf · 0.0 MB
metric.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
metric.pdf · 0.0 MB
mixed_cancellation.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
mixed_cancellation.pdf · 0.0 MB
mixed_stencil.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
mixed_stencil.pdf · 0.0 MB
newton_cutoff.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
newton_cutoff.pdf · 0.0 MB
normalization.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
normalization.pdf · 0.0 MB
normalization_loss.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
normalization_loss.pdf · 0.0 MB
odd_prime_sign.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
odd_prime_sign.pdf · 0.0 MB
periods.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
periods.pdf · 0.0 MB
rank_scales.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
rank_scales.pdf · 0.0 MB
reciprocal_rows.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
reciprocal_rows.pdf · 0.0 MB
residue_permutations.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
residue_permutations.pdf · 0.0 MB
shared_obstruction.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
shared_obstruction.pdf · 0.0 MB
singular_block.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
singular_block.pdf · 0.0 MB
smooth_tower.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
smooth_tower.pdf · 0.0 MB
threshold.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
threshold.pdf · 0.0 MB
weighted_motion.pdf
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
weighted_motion.pdf · 0.0 MB
Lean guide (PDF)
Paper V: Polyphase Signal Calculus
Paper_V_Lean_Guide_Final.pdf · 0.2 MB
Read PDF
Paper V: Polyphase Signal Calculus
Paper_V_Traditional_Final.pdf · 1.9 MB
Visual guide (PDF)
Paper V: Polyphase Signal Calculus
Paper_V_Visual_Guide_Final.pdf · 0.3 MB
annals_gibbs_comparison.pdf
Paper V: Polyphase Signal Calculus
annals_gibbs_comparison.pdf · 0.0 MB
Lean guide (PDF)
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
Paper_VI_Lean_Guide_Final.pdf · 0.2 MB
Read PDF
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
Paper_VI_Traditional_Final.pdf · 1.1 MB
Visual guide (PDF)
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
Paper_VI_Visual_Guide_Final.pdf · 0.3 MB
Lean guide (PDF)
Paper VII: Quantum Seed Calculus
Paper_VII_Lean_Guide_Final.pdf · 0.3 MB
Read PDF
Paper VII: Quantum Seed Calculus
Paper_VII_Traditional_Final.pdf · 1.1 MB
Visual guide (PDF)
Paper VII: Quantum Seed Calculus
Paper_VII_Visual_Guide_Final.pdf · 0.2 MB
Lean guide (PDF)
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Paper_VIII_Lean_Guide_Final.pdf · 0.3 MB
Read PDF
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Paper_VIII_Traditional_Final.pdf · 0.8 MB
Visual guide (PDF)
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Paper_VIII_Visual_Guide_Final.pdf · 0.2 MB
Lean guide (PDF)
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Paper_X_Lean_Guide_Final.pdf · 0.2 MB
Read PDF
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Paper_X_Traditional_Final.pdf · 1.0 MB
Visual guide (PDF)
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Paper_X_Visual_Guide_Final.pdf · 0.3 MB
01_three_objects.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
01_three_objects.pdf · 0.0 MB
02_monodromy.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
02_monodromy.pdf · 0.0 MB
03_tame_orbit.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
03_tame_orbit.pdf · 0.0 MB
04_orbit_counts.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
04_orbit_counts.pdf · 0.0 MB
05_tensor_grid.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
05_tensor_grid.pdf · 0.0 MB
06_cycle_scalar.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
06_cycle_scalar.pdf · 0.0 MB
07_heisenberg.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
07_heisenberg.pdf · 0.0 MB
08_radical.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
08_radical.pdf · 0.0 MB
09_bridge.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
09_bridge.pdf · 0.0 MB
10_quadratic_planes.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
10_quadratic_planes.pdf · 0.0 MB
11_arf_counts.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
11_arf_counts.pdf · 0.0 MB
12_holonomy.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
12_holonomy.pdf · 0.0 MB
13_break_tensor.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
13_break_tensor.pdf · 0.0 MB
14_recursive_parameter.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
14_recursive_parameter.pdf · 0.0 MB
15_degree_levels.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
15_degree_levels.pdf · 0.0 MB
16_scalar_depth.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
16_scalar_depth.pdf · 0.0 MB
17_native_ambient_trace.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
17_native_ambient_trace.pdf · 0.0 MB
18_capacity.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
18_capacity.pdf · 0.0 MB
19_enlarged_carrier.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
19_enlarged_carrier.pdf · 0.0 MB
20_induction_stages.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
20_induction_stages.pdf · 0.0 MB
21_marked_extension.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
21_marked_extension.pdf · 0.0 MB
22_completion.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
22_completion.pdf · 0.0 MB
23_conjecture_boundary.pdf
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
23_conjecture_boundary.pdf · 0.0 MB
Conjecture 66 progress paper (PDF)
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Paper_XI_Conjecture66_Progress_v0.4.0.pdf · 0.7 MB
Conjecture 66 visual atlas (PDF)
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf · 0.7 MB
Lean guide (PDF)
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Paper_XI_Lean_Guide_v1.1.0.pdf · 0.8 MB
Read PDF
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Paper_XI_Traditional_v1.1.0.pdf · 0.9 MB
Visual guide (PDF)
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Paper_XI_Visual_Guide_v1.1.0.pdf · 0.6 MB
Lean guide (PDF)
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Paper_XII_Lean_Guide_v1.0.0.pdf · 0.2 MB
Read PDF
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Paper_XII_Traditional_v1.0.0.pdf · 0.6 MB
Visual guide (PDF)
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Paper_XII_Visual_Guide_v1.0.0.pdf · 0.4 MB
Lean guide (PDF)
Physics
Physics_Lean_Companion.pdf · 0.1 MB
Read PDF
Physics
Komorebi_Physics.pdf · 14.7 MB
Read PDF
Physics: curvature states
Komorebi_Physics_Curvature_States_and_Subtraction.pdf · 0.3 MB
Read PDF
Physics: energy and backreaction
Energy_Conserving_Production.pdf · 0.3 MB
Read PDF
Physics: origin locking
Origin_Locking_and_Cosmological_Energy_Exchange.pdf · 0.3 MB
Read PDF
Proof Path Theory
Proof_Path_Theory.pdf · 1.2 MB
Visual guide (PDF)
Proof Path Theory
Proof_Path_Theory_Visual_Sampler.pdf · 0.5 MB
Lean guide (PDF)
Quantum and Circuits
Komorebi_Quantum_Arithmetic_Lean_Guide.pdf · 0.1 MB
Read PDF
Quantum and Circuits
Realization_Calculus_Quantum_and_Circuits.pdf · 2.6 MB
Visual guide (PDF)
Quantum and Circuits
Komorebi_Quantum_Arithmetic_Visual_Guide.pdf · 0.4 MB
Read PDF
Realization Boundaries
Realization_Boundaries_Monograph.pdf · 0.5 MB
Lean guide (PDF)
Realization Calculus
Paper_I_Lean_Guide_Final.pdf · 0.2 MB
Read PDF
Realization Calculus
Realization_Calculus.pdf · 40.3 MB
Visual guide (PDF)
Realization Calculus
Paper_V_Visual_Guide_Final.pdf · 0.3 MB
Volume I: Komorebi Space (PDF)
Realization Calculus: twin edition
Realization_Calculus_Volume_I_Komorebi_Space.pdf · 1.1 MB
Volume II: Realization Boundaries (PDF)
Realization Calculus: twin edition
Realization_Calculus_Volume_II_Realization_Boundaries.pdf · 0.5 MB
Worked-proofs supplement (PDF)
Realization Calculus: twin edition
Komorebi_Space_Worked_Proofs.pdf · 1.2 MB
Read PDF
Resolution Semantics
Komorebi_Resolution_Semantics.pdf · 0.3 MB
Read PDF
SRIC: endogenous semantic witness
SRIC_Block23_Endogenous_Semantic_Witness.pdf · 0.6 MB
Read PDF
SRIC: external semantic admission
SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.pdf · 0.1 MB
Read PDF
Seeded Two-Axis Calculus
Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.pdf · 0.9 MB
Read PDF
Self-Improving Intelligence
Self_Improving_Intelligence_v1.0.0.pdf · 0.6 MB
Visual guide (PDF)
Self-Improving Intelligence: visual guide
Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf · 0.2 MB
Lean guide (PDF)
Signal Reconstruction
Signal_Reconstruction_Lean_Guide.pdf · 0.3 MB
Read PDF
Signal Reconstruction
Signal_Reconstruction_Traditional.pdf · 0.3 MB
Visual guide (PDF)
Signal Reconstruction
Signal_Reconstruction_Visual_Guide.pdf · 0.6 MB
Earlier visual guide (historical PDF)
Special Functions
visual_guide.pdf · 2.1 MB
Expanded Visual Guide (current PDF)
Special Functions
Expanded_Visual_Guide.pdf · 3.4 MB
Original Series Collected Reader (PDF)
Special Functions
Komorebi_Special_Functions_Complete_Reader_v0.1.pdf · 12.9 MB
Packet Realization Core and correction register (PDF)
Special Functions
Komorebi_Special_Functions_Consolidated_Manuscript_v0.1.pdf · 0.7 MB
Read PDF
Special Functions
Special_Functions.pdf · 2.9 MB
Resolution and Coupled Atlas (current PDF)
Special Functions
Resolution_and_Coupled_Atlas.pdf · 2.0 MB
Read PDF
Stratified Recursive Improvement Closure
Stratified_Recursive_Improvement_Closure_v2.4_Block23.pdf · 3.6 MB
Read PDF
Stratified Relational Workspace Theory
Stratified_Relational_Workspace_Theory.pdf · 1.1 MB
Lean guide (PDF)
Stratified Universality
Stratified_Universality_Lean_Guide.pdf · 0.2 MB
Read PDF
Stratified Universality
Stratified_Universality_Traditional.pdf · 2.5 MB
Visual guide (PDF)
Stratified Universality
Stratified_Universality_Visual_Guide.pdf · 0.4 MB
Read PDF
Streaming Polyphase Factor Decomposition / SKAT
FINAL_MANUSCRIPT.pdf · 3.8 MB
Read PDF
Strong Artin: source and evidence
Komorebi_Strong_Artin_Conjecture_Piece_v1.0.pdf · 0.4 MB
Visual guide (PDF)
Strong Artin: source and evidence
Komorebi_Strong_Artin_Visual_Guide_v1.0.pdf · 0.5 MB
Lean guide (PDF)
Sufficient Resolution
Sufficient_Resolution_Lean_Guide.pdf · 0.3 MB
Read PDF
Sufficient Resolution
Sufficient_Resolution_Traditional.pdf · 0.4 MB
Visual guide (PDF)
Sufficient Resolution
Sufficient_Resolution_Visual_Guide.pdf · 0.5 MB
Original PDF
The Possibility for a Machine Native Mathematics
The_Possibility_for_a_Machine_Native_Mathematics_v10.pdf · 0.4 MB
Read PDF
Universal Generative Deformation Calculus
Universal_Generative_Deformation_Calculus.pdf · 0.8 MB