Skip to content

Commit a674da2

Browse files
committed
docs: add citation for hash consing improvements
Include citation for "Efficient Symbolic Computation via Hash Consing" (arXiv:2509.20534) documenting the hash consing optimizations implemented in SymbolicUtils.jl [skip ci]
1 parent 1923e4d commit a674da2

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

CITATION.bib

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Hash Consing Optimization: SymbolicUtils.jl now uses hash consing to eliminate duplicate
2+
symbolic expressions in memory and enable faster equality comparisons. This optimization
3+
significantly improves performance for complex symbolic computations by reducing memory
4+
overhead and computation time. Available starting from v3.28.0.
5+
@misc{zhu2025efficientsymboliccomputationhash,
6+
title={Efficient Symbolic Computation via Hash Consing},
7+
author={Bowen Zhu and Aayush Sabharwal and Songchen Tan and Yingbo Ma and Alan Edelman and Christopher Rackauckas},
8+
year={2025},
9+
eprint={2509.20534},
10+
archivePrefix={arXiv},
11+
primaryClass={cs.PL},
12+
url={https://arxiv.org/abs/2509.20534},
13+
}

0 commit comments

Comments
 (0)