Stars
The Golden Ratio’s Footprint in Happy Number Sequences.
A Delay-Aware Damping Framework for Latency-Constrained Feedback Systems.
Achieving Attosecond-Precision in Direct Digital Synthesis for Phase-Locked Waveform Control.
Modeling Extracellular DNA Adsorption Kinetics via the Dynamic Conformation Adsorption Model.
Lightweight, offline-first routing engine designed for edge logistics—maximizing ROI by anchoring routes around high-value priorities and cutting mileage by 13.26% via deterministic 2-Opt refinement.
Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.
A Machine-Verified Constructive Proof of Lemoine's Conjecture.
Solving the N x T Scaling Collapse and other NP-Hard Search Problems via Aperture-Integral Calculus.
A Formal Proof of the Irrationality of the Euler-Mascheroni Constant.
A Computational Approach to Sustainable Nitrogen Fixation.
A Machine-Certified Proof of Frankl’s Conjecture via Collision-Restitution Invariants.
Rescuing Moore’s Law via Room-Temperature Soliton Integration in Standard Silicon.
The Beal Symmetry Collision: A Machine-Certified Solution via p-adic Valuations
Real-Time Manifold Integrity for Deterministic LLM Hallucination Suppression.
A 4D geometric topology approach to high-speed cryptography.
Formal Proof of the Non-Existence of Perfect Cuboids via Mordell-Weil Rank Exhaustion and Minimal Polynomial Irreducibility of the Perfect Cuboid Surface.
VES-369 is a Tesla-inspired 3-6-9 mapping protocol for deterministic wire-speed compression and bit-true parity across JS, C++, and Silicon implementations.
A verified constructive reduction of the Cook-Levin Theorem in Lean 4.
O(log k) Parallel FHE Conversion IP package featuring pipelined SystemVerilog RTL and Header-Only C++ Library. Designed to accelerate cryptographic pipelines by removing the sequential RNS bottleneck.
A Formally Verified Structural Parity Proof of the Collatz Conjecture.
A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.