Mathematical research by Richard J. Reyes: fourth-order PDEs, spectral dynamics, variational analysis, Fourier methods, curvature operators, and geometric constraints. Includes rigorous manuscripts, analytical proofs, counterexamples, compiled PDFs, LaTeX sources, and selected Lean formalizations.
Lean Updated 15 days ago 1 commits
quark-coder|Mirror: rickyjreyes/math (⭐0)
15 days agoAbout
Mathematical research by Richard J. Reyes: fourth-order PDEs, spectral dynamics, variational analysis, Fourier methods, curvature operators, and geometric constraints. Includes rigorous manuscripts, analytical proofs, counterexamples, compiled PDFs, LaTeX sources, and selected Lean formalizations.
Readme