Notes

Short notes on the method

This page is intentionally modest. It collects compact explanations that link back to maintained documentation instead of pretending to be a blog with finished articles.

Method

Inverse use of a scientific calculator

The ordinary workflow formula -> number is reversed. The program searches for button sequences whose numerical result matches the input.

Read the relevant section
Search cost

Why K cannot be increased casually

A 36-button alphabet means that adding one symbol to the code length multiplies the naive search space by about 36.

Read the relevant section
Verification

A candidate is not a proof

Numerical recognition should be followed by high-precision recomputation, symbolic manipulation, or a derivation from the original problem.

Read the relevant section