SHAI BEEKMAN

ShaiBeekman

MATHEMATICS · COMPUTER SCIENCE

I explore mathematical problems and build software for investigating them.

1,3,6,10,15,21,28,…
⟶n(n + 1)2
↓ SELECTED WORK

01 / SOFTWARE

Equation Matcher

A SYMBOLIC FORMULA DISCOVERY ENGINE BUILT IN JAVA.

Equation Matcher searches numerical expressions for patterns matching a target sequence and attempts to reconstruct a symbolic formula in terms of n.

Equation Matcher application showing a verified symbolic pattern for the summandial sequence

JAVA · SYMBOLIC COMPUTATION · SEARCH ALGORITHMS

EXPLORE PROJECTGITHUB ↗DOWNLOAD ↓

02 / RESEARCH

Finite Descriptions and the
Cardinality of the Real Numbers

Independent mathematical research  ·  2026

An investigation into finite description, diagonalization, and their implications for the cardinality of the real numbers.

RFD⊆R
finitely describable reals
READ RESEARCHVIEW PDF ▧

ABOUT

I'm interested in mathematics, algorithms, and the boundary between mathematical reasoning and computation.

My work ranges from theoretical mathematical writing to building software that searches for mathematical structure.

◫

Currently studying Mathematics
A.S. MATHEMATICS