Symbolic Modeling of the Quantum Grover Search Algorithm on Two Qubits: Quirk + Maple
A symbolic model of the quantum Grover search algorithm for the simplest two-qubit system is proposed, which leverages the capabilities of the Maple computer algebra system and the Quirk quantum browser simulator. The model is developed with a focus on its application in modern quantum computing courses in engineering education. It enables generalization to systems with more qubits and cases involving multiple target states. It can serve as a foundation for developing laboratory work. This model is among the first attempts to go beyond the limitations of Python-based quantum simulators.