Independent researcher · est. in public repositories

Finite mathematics, where every claim knows exactly how proved it is.

My name is Oleksiy Babanskyy. I am an independent researcher working in finite geometry, algebraic combinatorics, real algebraic geometry and computational mathematics. My research explores symmetric groups, posets, root systems, incidence structures, real plane curves, finite digraphs and arithmetic, combining mathematical proofs with exact computation and reproducible certificates.

48public works
47repositories
CL0–6one ladder of proof
01

Start Here

the proof discipline and the research map behind the portfolio

2 works

PAPP Method Reference: Gate-Disciplined Computational Mathematics for Claim-Disciplined Research

PAPP keeps the meaning of a result stable as work moves from exploration to public release. It connects sources, production, artifacts, statements, applicability and claims, while keeping technical validity, epistemic support, human authority and distribution separate.

The public companion includes executable schemas, templates, examples, validators, tests and exact candidate identity. It is a method reference—not a theorem prover or a demonstrated effectiveness claim.

Repository ↗
CL0–1 observation · bounded evidence
CL2 finite replay
CL3 certified finite result
CL4 exact theorem import
CL5 internal theorem, full proof
CL6 formally verified

Each level has a scope and ceiling; digests, receipts and validator passes do not promote mathematics.

08

Patronage

independent means independent — including the funding

This research has no institution, no grant, and no paywall behind it. Every paper, certificate and replay script is public. If this work is useful to you — or you simply want more of it to exist — you can become a patron.

Patrons fund computing time, open-access hosting, and the slow, unfashionable work of verifying things properly.

—
100% Download PDF Open ↗
—
Download .pptx
slide