Constant-Time O(1) AST Reduction and Native Delegate Compilation in RICIS-III
Version 1 / Oct 07, 2026 / CC BY 4.0
Abstract
Provenance statement
AI provenance filesMonolith_Ricis_2.json · 9 KB
Tools used
- GeminiVersion 3.8
References
- Aleinikov, D. RICIS-III: Recursive Indexed Calculus of Identity and Singularity --- Complete Proofs of the Seven Millennium Problems and Navier--Stokes . Zenodo, 2025. https://doi.org/10.5281/zenodo.17872755 DOI: 10.5281/zenodo.17872755 .DOI
- Aleinikov, D. Smooth Regularization of Gradient Explosion and Elimination of Indeterminacies at Critical Points of Activation Functions in Deep Neural Networks (LLM) Based on RICIS-III . Zenodo, 2026. https://doi.org/10.5281/zenodo.21491712 DOI: 10.5281/zenodo.21491712 .DOI
- Aleinikov, D. RICIS-III Master Registry: Unified Structural Resolution of 17 Fundamental Singularities in Number Theory, PDEs, and Mathematical Physics . Zenodo, 2026. https://doi.org/10.5281/zenodo.21517353 DOI: 10.5281/zenodo.21517353 .DOI
- Aleinikov, D. A1Dmitry/RICIS-III-Lean4-Kernel: RICIS-III Formal Kernel v1.0.0 . Zenodo, 2026. https://doi.org/10.5281/zenodo.21529989 DOI: 10.5281/zenodo.21529989 .DOI
Version history
- v1Submitted by Дмитрий АлейниковInitial depositCurrentOct 07, 2026