TY - RPRT TI - An Extended Symbolic-Arithmetic Model for Teaching Double-Black Removal with Rotation in Red-Black Trees AU - Kennedy E. Ehimwenma AU - Hongyu Zhou AU - Junfeng Wang AU - Ze Zheng PY - 2025 DO - 10.5815/ijmsc.2025.01.01 UR - https://arxiv.org/abs/2504.03259 ID - 2504.03259 ER -