Weiwen Ge, Weidong Tang, Meiling Liu. Linear polynomial algebra migration system for program equivalence and approximate optimisation. IJCSM, 22(2):140-153, 2025. [doi]
@article{GeTL25,
title = {Linear polynomial algebra migration system for program equivalence and approximate optimisation},
author = {Weiwen Ge and Weidong Tang and Meiling Liu},
year = {2025},
doi = {10.1504/IJCSM.2025.149893},
url = {https://doi.org/10.1504/IJCSM.2025.149893},
researchr = {https://researchr.org/publication/GeTL25},
cites = {0},
citedby = {0},
journal = {IJCSM},
volume = {22},
number = {2},
pages = {140-153},
}