← eliuthchaverojasso.com

Independent computational research · Separate track

Formalize the claim. Compute. Try to falsify it.

A separate laboratory for exploratory work in mathematics and computation. The discipline is the same one I bring to engineering systems: define the object, expose the assumptions, measure what can be measured and keep uncertainty visible.

Explicit claim statusDefinition, proof under assumptions, numerical verification, conjecture or open.
Reproducible artifactCode, datasets and numerical checks travel with the result.
FalsificationA counterexample or failed property is a result, not something to hide.

Featured computed object

E8 root system · Coxeter plane projection

One mathematical object viewed as structure, projection, neighborhood and symmetry. Select a root to inspect its local relationship to the rest of the system.

Loading computed geometry…

All 240 roots and the edges between roots at 60°. Eight shells, thirty points each.

240 roots · 8 shells · Coxeter number 30

What this figure establishes. The geometry is computed from all 240 E8 roots and projected onto the Coxeter plane. It makes the research loop concrete: define the structure first, compute the representation, inspect the result and keep the claim status explicit.

CLAIM → OBJECT → COMPUTATION → CHECK → STATUS → ARTIFACT

Projects, checks and published artifacts

Independent research gives me practice in defining objects, exposing assumptions and designing checks that can disprove a claim. Those habits return to engineering software; the mathematical results do not validate the commercial work.

Sandbox · separate from the research results

Synthetic illustration — not a paper result

Rank reduction vs. reconstruction error

A small interactive model of the trade-off between discarded structure and reconstruction error.

Reconstruction error—