[NeurIPS'25] Sequence Modeling with Spectral Mean Flows, in PyTorch
ScaledRelativeGraphs.jl — Computable SRG-based stability certificates for engineering practice. Bridges theory and application with standards compliance, measured-data workflows, and visualization. Julia.
Typed audit calculus for scientific transfers, with formal fixtures, claim ledgers, and reproducibility gates.
Research project exploring operator-theoretic approaches to the Riemann Hypothesis, combining spectral theory and computational analysis. Includes English (main) and Portuguese versions.
A multidimensional jet space engine for high-order mixed partial Log-Tower derivatives. Features a Chronological Step-Operator Engine (Anchor/Web logic) that eliminates Bell polynomial explosion via asymmetric tensor caching. Replaces the quotient rule with an optimized derivative generator for lightning-fast symbolic mapping.
Fixed-parameter Galerkin, relative trace, smoothed spectral, and certified interlacing results for semilocal zeta operators
SpectralNet v4: differentiable Chernoff–Remizov trajectories for inverse problems (1D Darcy). Companion code for Zenodo 10.5281/zenodo.19637120.
Independent research in Navier–Stokes regularity, Paley–Wiener rigidity, and nonlinear obstruction theory.
A Lean 4 research platform for mathematical physics: unbounded operators, spectral theory, quantum mechanics, and quantum information — built on Mathlib.
Este repositório contém a Matemática de Ressonância de Leue (Leuesche Mathematik der Resonanz), um framework matemático unificado que propõe soluções para os 7 Problemas do Milênio através de uma abordagem baseada em ressonância, operadores e números primos.
Exact rational Green-identity control for the nonsymmetric formal adjoint used in the nonlocal-QTG regular-black-hole operator program.
Exact bottom-cluster and Feshbach reduction for the semilocal Weil prolate-proxy bridge, with reproducible code and audits.
Publication list
Repository Of The seminar: Computational Dynamics
Operator-geometric framework for metabolic identifiability and metabolite panel design under partial observability using Human-GEM, proteomics-informed reaction weighting, and spectral geometry.
SpectralNet v5: spectral evaluation of 2D Chernoff–Remizov trajectories for 2D Darcy inverse problems. Companion code for Zenodo 10.5281/zenodo.19664767.
🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.
Historical nonlocal-QTG operator readiness audit: the minimal operator is closable, while the full nonnormal functional calculus remains unproved.
Operator-geometric inference of non-passive transport structure using PDE-constrained Hodge–Laplacian graph neural networks
A Hipótese de Riemann (HR) afirma que todos os zeros não triviais de $\zeta(s)$ têm parte real $\Re(s) = 1/2$. A matemática pura não conseguiu provar isso em 165 anos.
To associate your repository with the operator-theory topic, visit your repo's landing page and select "manage topics."