Code and data from: Quantum algorithms for equational reasoning

This dataset contains the source code, simulation data, and analysis scripts associated with the study \"Quantum Algorithms for Equational Reasoning.\" The original research introduces quantum normal form reduction, a computational framework designed to address core problems in equational reasoning, such as the word problem (determining semantic equivalence between symbolic expressions), counting equivalent expressions, and analyzing the structural properties of equivalence classes. To facilitate reproducibility, this repository provides a Python-based implementation of a quantum-inspired version of the algorithm. The package transforms a string rewriting system into a 1D local Hamiltonian and simulates the proposed quantum algorithm using the \"Quantum Tea Leaves\" tensor network emulator. The dataset includes: 1) Source Code: The complete Python package and environment instructions required to reproduce the paper’s results. 2) Simulation Outputs: Raw tensor network files compatible with \"..., , , # README This repository contains the code, data, and figures associated with the manuscript **“Quantum algorithms for equational reasoning.”** All the code required to reproduce the simulations, together with the raw data and figures, is included in the compressed archive `scripts_and_data_for_Quantum_Algorithms_For_Equational_Reasoning.zip`, whose contents are described in detail below. The `files tn_simulations_*.zip` contain the tensor networks generated by the simulations; their usage is described below. ## Package structure The repository is organized as a Python package named **`quantum_srs`**. You can install it locally with: ```bash pip install . ``` ## Git repository This folder is also a Git repository, and the .git/ directory is included. ### Experiments The `experiments/` folder contains scripts for generating data. Each subfolder corresponds to a set of simulations: * **`brute_force/`** – scripts for counting connected words via graph exploration. * **`energy_ga...,