C code for recognition/identification/search of mathematical formulas, equivalent to numerical, e.g., 137.035999206.
Brute-force search is performed in parallel using specified number of threads. RPN scientific calculator with 36 standard buttons is used to define space of possible formulas. Codes are encoded as subsequent base-36 numbers, where digits are associated with calculator butons.