2025-07-24 –, Main Room 6
QuantumSymbolics.jl is a quantum-focused computer algebra system designed for numerical translations to different formalisms in quantum information. This package provides symbolic manipulation methods and convenient abstractions of various backend quantum simulators.
The quantum software ecosystem is a vast landscape of libraries implementing classical simulation algorithms based in various formalisms of quantum information. Choosing the appropriate formalism when designing quantum algorithms and hardware is highly problem-dependent, therefore
an efficient workflow between different simulation backends is valuable. Furthermore, avoiding the peculiarities of individual quantum software libraries prioritizes the key aspects of developing
quantum technologies.
Our approach to these challenges is QuantumSymbolics.jl, a computer algebra package that serves as a symbolic interface to numerical quantum simulation libraries. In this talk, we present features of QuantumSymbolics.jl such as symbolic manipulation capabilities and numerical translations to state-vector simulations, Gaussian quantum information, and Clifford stabilizer circuits.
Incoming physics PhD student @ NYU.