This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results

🎬 Beautiful Manim-animated mathematical proofs from my published research — Persistent Homology, Fixed Point Theorems, Optimization Algorithms & more.

Jabri_lib — Jabri's Laboratory for Computational Proofs A public repository where every file contains one small idea, one computation, one proof. No bloated notebooks. No hidden parameters. Just focused experiments that you can run, check, and falsify. Structure: - Zx_5.ipynb : Test the Jabri identity on the 5th zero of ζ(s) - Zx_28.ipy

Formal proofs in analog spline theory: Shipwright's Theorem, Galois Connection

High-performance C++17 framework for computational proofs of Euler’s theorems in number theory, complex analysis, and topology.

Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery

A playground for Coq/Rocq proofs and ideas.

A teenager's independent rediscovery of classical number theory theorems (2002-2007). Complete diary, analysis, and reflections.

This repository contains the problem sets completed as part of a discrete math course.

Deli AutoResearch to Codex

Three exact-arithmetic verification pipelines — λ=2c conformal identities + the emission-gap theorem, Mahler-measure matrix plates (interactive in-browser explorer), and residual-return learning dynamics over number fields. Every load-bearing claim is machine-checked; all suites pass.

A geometrically grounded reduction of the Riemann Hypothesis formalized in Lean4