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.