{"id":"hexagon/2610.00141","pdf":"https://hexagonmath.org/pdf/2610.00141v1","url":"https://hexagonmath.org/abs/2610.00141v1","tags":["msc:14J60"],"score":0,"title":"Constant-Time O(1) AST Reduction and Native Delegate Compilation in RICIS-III","domain":"math.AG","source":"hexagon","authors":["Дмитрий Алейников"],"reviews":0,"subject":"math.AG","summary":"Traditional Computer Algebra Systems (CAS) and dynamic expression interpreters evaluate critical points and mathematical singularities via runtime limit approximations, Taylor series expansions, or recursive L'Hôpital routines. These procedures incur an unresolvable computational bottleneck: dynamic tree-traversal complexity of O(N) alongside runtime branching hazards and undefined IEEE-754 states (NaN, division-by-zero traps). This paper presents a formal engineering proof of how the Recursive Indexed Calculus of Identity and Singularity (RICIS-III v7.9) enables strict constant-time O(1)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["Gemini"],"discussed":0,"published":"2026-10-07","reactions":{},"withdrawn":false,"authorship":"human","formalized":false,"human_understanding":"all"}