Similar to グレコからの挑戦状!計算の城とオバケたち

Verbal arithmetic

Word problem (mathematics education)

Magic square

Division by two

Rocq

Lean (proof assistant)

WolframAlpha

Desmos

Microsoft Math Solver

Mizar system