Equation Matcher v1.0.0

Initial public release of Equation Matcher, a Java-based symbolic formula
discovery engine.

Equation Matcher searches numerical expressions, tracks valid substitutions
across sequence inputs, and reconstructs symbolic formulas from surviving
patterns.

Features

• Summandial and factorial sequence search
• Exhaustive expression generation
• Four-phase formula discovery process
• Substitution-path tracking
• Symbolic variable reconstruction
• Interactive JavaFX visualization
• Search statistics and progress reporting
• Standalone Windows application with bundled Java runtime

Windows

Download the Windows installer below and run it to install Equation Matcher.

No separate Java installation is required.